852 search results - page 130 / 171 » entcs 2010 |
115
click to vote
ENTCS
2006
15 years 13 days ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
ENTCS
2006
15 years 13 days ago
2006
In this paper we apply the role metaphor to coordination. Roles are used in sociology as a way to structure organizations and to coordinate their behavior. In our model, the featu...
110
click to vote
ENTCS
2006
15 years 13 days ago
2006
Accounting for the CPU consumption of applications is crucial for software development to detect and remove performance bottlenecks (profiling) and to evaluate the performance of ...
ENTCS
2006
15 years 13 days ago
2006
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
99
Voted
ENTCS
2006
15 years 13 days ago
2006
The maintenance of organisation is a prerequisite for all viable systems in dynamic environments. In many living systems this organisation is, in part, achieved through coordinati...