76 search results - page 8 / 16 » Monitoring temporal SystemC properties |
166
Voted
ATAL
2008
Springer
15 years 3 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 ...
131
Voted
WWW
2006
ACM
16 years 2 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...
102
click to vote
IV
2008
IEEE
15 years 8 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
15 years 5 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...
113
click to vote
EUROSYS
2006
ACM
15 years 11 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...