2638 search results - page 472 / 528 » Frameworks for Reasoning about Agent Based Systems |
158
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
163
click to vote
EDOC
2006
IEEE
16 years 10 days ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
164
click to vote
RTSS
2006
IEEE
16 years 8 days ago
2006
IEEE
We present an optimal real-time scheduling algorithm for multiprocessors — one that satisfies all task deadlines, when the total utilization demand does not exceed the utilizat...
149
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
The availability of high speed networks and improved microprocessor performance have made it possible to build inexpensive cluster of workstations as an appealing platform for par...
205
click to vote
FLAIRS
2006
15 years 7 months ago
2006
Pervasive surveillance implies the continuous tracking of multiple targets as they move about the monitored region. The tasks to be performed by a surveillance system are expresse...