3516 search results - page 308 / 704 » Integrating Security Modeling into Embedded System Design |
124
click to vote
ECLIPSE
2006
ACM
15 years 7 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...
134
click to vote
SIMUTOOLS
2008
15 years 5 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
170
click to vote
MOBISYS
2008
ACM
15 years 6 months ago
2008
ACM
Wireless sensor networks have been traditionally designed to be privately owned and used. Hence the two hallmark features of sensor networks, namely customized network application...
139
click to vote
WSC
2000
15 years 5 months ago
2000
The use of System Dynamics Modeling in Supply Chain Management has only recently re-emerged after a lengthy slack period. Current research on System Dynamics Modelling in supply c...
144
click to vote
DOCENG
2009
ACM
15 years 1 months ago
2009
ACM
This paper focuses on the support provided by NCL (Nested Context Language) to relate objects with imperative code content and declarative hypermedia-objects (objects with declara...