1664 search results - page 98 / 333 » Making a Case for Multi-Agent Systems |
157
click to vote
TOPNOC
2008
15 years 4 months ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
134
click to vote
OSDI
2004
ACM
16 years 4 months ago
2004
ACM
Technical support contributes 17% of the total cost of ownership of today's desktop PCs [25]. An important element of technical support is troubleshooting misconfigured appli...
147
click to vote
RTCSA
2009
IEEE
15 years 11 months ago
2009
IEEE
The question whether preemptive systems are better than non-preemptive systems has been debated for a long time, but only partial answers have been provided in the real-time liter...
134
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Automatic counting of people, entering or exiting a region of interest, is very important for both business and security applications. This paper introduces an automatic and robus...
137
click to vote
FORTE
2004
15 years 5 months ago
2004
Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...