4166 search results - page 562 / 834 » A modular module system |
188
click to vote
JOT
2008
15 years 6 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
224
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Memory trace analysis is an important technology for architecture research, system software (i.e., OS, compiler) optimization, and application performance improvements. Many appro...
186
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The paper describes some innovations related to the ongoing work on the GSA prototype, an integrated information retrieval agent. In order to improve the original system effective...
174
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
1 There are increasing deployments of networked embedded systems and rising threats of malware intrusions on such systems. To mitigate this threat, it is desirable to enable common...
222
click to vote
RTSS
2007
IEEE
16 years 24 days ago
2007
IEEE
Recent technological advances have opened up several distributed real-time applications involving battery-driven embedded devices with local processing and wireless communication ...