458 search results - page 36 / 92 » Designing and executing protocols using the event calculus |
128
Voted
EMSOFT
2009
Springer
15 years 10 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
123
Voted
ECTEL
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Learning Design offers the possibility of capturing the process, activities, user organization and resources used in a learning experience. But a wider set of scenarios a...
122
click to vote
DSD
2007
IEEE
15 years 10 months ago
2007
IEEE
Design space exploration is used to shorten the design time of System-on-Chips (SoCs). The models used in the exploration need to be both accurate and fast to simulate. This paper...
152
Voted
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
127
Voted
DATE
2005
IEEE
15 years 9 months 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...