12333 search results - page 600 / 2467 » System Level Modelling for Hardware Software Systems |
190
click to vote
MSR
2006
ACM
16 years 1 months ago
2006
ACM
In the current trend of software engineering, software systems are viewed as clusters of overlapping structures representing various concerns, covering heterogeneous artifacts lik...
238
click to vote
SIGSOFT
2002
ACM
16 years 7 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
184
click to vote
CHI
1999
ACM
15 years 11 months ago
1999
ACM
Programmable Embodied Agents are portable, wireless, interactive devices embodying specific, differentiable, interactive characteristics. They take the form of identifiable charac...
179
click to vote
ECLIPSE
2006
ACM
15 years 10 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...
199
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...