4887 search results - page 353 / 978 » System Level Design Using C |
188
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Cell phones are increasingly becoming attractive targets of various worms, which cause the leakage of user privacy, extra service charges and depletion of battery power. In this w...
207
click to vote
GECCO
2010
Springer
15 years 7 months ago
2010
Springer
State machines are a popular method of representing a syshigh level of abstraction that enables developers to gain an overview of the system they represent and quickly understand ...
173
click to vote
DATE
2005
IEEE
16 years 11 days ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
192
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we present the most important features of SeSAm, a modeling and simulation platform for multi-agent simulations. Based on a declarative, explicit model representati...
201
Voted
ENTCS
2008
15 years 6 months ago
2008
Several recent research efforts have focused on the dynamic aspects of software architectures providing suitable models and techniques for handling the run-time modification of th...