6308 search results - page 133 / 1262 » Modeling Urgency in Timed Systems |
138
click to vote
ECLIPSE
2006
ACM
15 years 9 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...
148
click to vote
DAGSTUHL
2006
15 years 7 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...
128
click to vote
ANSS
2001
IEEE
15 years 9 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...
207
click to vote
JAIR
2010
15 years 9 days 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...
135
click to vote
ISCAS
2003
IEEE
15 years 10 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 ...