854 search results - page 139 / 171 » Addressing Dynamic Issues of Program Model Checking |
120
click to vote
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
From a multiagent viewpoint, a workflow is a dynamic set of tasks performed by a set of agents to reach a shared goal. We show herein that commitments among agents can be used to ...
137
click to vote
CN
2006
15 years 2 months ago
2006
The problem of optimal data gathering in wireless sensor networks (WSNs) is addressed by means of optimization techniques. The goal of this work is to lay the foundations to devel...
113
Voted
IAJIT
2010
15 years 22 days ago
2010
: The heterogeneous and dynamic nature of components making up a web application, the lack of effective programming mechanisms for implementing basic software engineering principle...
118
click to vote
ASPLOS
2004
ACM
15 years 7 months ago
2004
ACM
Multiple Clock Domain (MCD) processors are a promising future alternative to today’s fully synchronous designs. Dynamic Voltage and Frequency Scaling (DVFS) in an MCD processor ...
116
click to vote
ICSE
2001
IEEE-ACM
15 years 6 months ago
2001
IEEE-ACM
A good object-oriented design does not necessarily make a good component-based design, and vice versa. What design principles do components introduce? This paper examines componen...