76 search results - page 8 / 16 » Monitoring temporal SystemC properties |
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
In open multi-agent systems (MASs) we cannot assume agents to be developed in a centralized fashion. Recent proposals of commitmentbased communication frameworks aim at increasing ...
WWW
2006
ACM
14 years 8 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
IV
2008
IEEE
14 years 1 months ago
2008
IEEE
Assessing the potential property and social impacts of an event, such as tornado or wild fire, continues to be a challenging research area. From financial markets to disaster mana...
ICSE
2010
IEEE-ACM
13 years 11 months ago
2010
IEEE-ACM
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
EUROSYS
2006
ACM
14 years 4 months ago
2006
ACM
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...