6308 search results - page 133 / 1262 » Modeling Urgency in Timed Systems |
ECLIPSE
2006
ACM
15 years 1 months ago
2006
ACM
In this work we present an Eclipse plug-in for the VInTiMe (Verifier of INtegrated TImed ModEls)1 suite of tools that combines high-level expressive power, unassisted propertypres...
DAGSTUHL
2006
14 years 11 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...
ANSS
2001
IEEE
15 years 1 months ago
2001
IEEE
We present the definition of diverse models of physical systems using the Cell-DEVS paradigm. Cell-DEVS is an extension of the DEVS formalism that allows the definition of cellula...
115
click to vote
JAIR
2010
14 years 4 months ago
2010
Intrusion detection systems (IDSs) fall into two high-level categories: network-based systems (NIDS) that monitor network behaviors, and host-based systems (HIDS) that monitor sys...
ISCAS
2003
IEEE
15 years 3 months ago
2003
IEEE
The neural computations that support bat echolocation are of great interest to both neuroscientists and engineers, due to the complex and extremely time-constrained nature of the ...