581 search results - page 102 / 117 » Systematic Implementation of Real-Time Models |
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of explicit-state model checkin...
INFOCOM
2009
IEEE
14 years 4 months ago
2009
IEEE
—Determining how to transport delay-sensitive voice data has long been a problem in multimedia networking. The difficulty arises because voice and best-effort data are different...
VTC
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract—Dedicated Short Range Communications (DSRC)based communications enable novel automotive safety applications such as an Extended Electronic Brake Light or Intersection Co...
AOSE
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
HYBRID
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...