29147 search results - page 93 / 5830 » System Modeling Resurrected |
149
click to vote
SIES
2007
IEEE
15 years 9 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
116
click to vote
ECBS
2000
IEEE
15 years 7 months ago
2000
IEEE
Recently, modeling has received a lot of attention in the design of embedded computing systems. StateCharts is one of the modeling specifications which has been successfully imple...
123
Voted
DAGSTUHL
2006
15 years 4 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
133
click to vote
COMCOM
2008
15 years 2 months ago
2008
Active worms continue to pose major threats to the security of today's Internet. This is due to the ability of active worms to automatically propagate themselves and compromi...
116
click to vote
EUSFLAT
2003
15 years 4 months ago
2003
The purpose of this paper is to advocate and encourage the application of fuzzy-neuro algorithms in the risk assessment of Distributed Real-Time (DRT) systems, where object-orient...