853 search results - page 143 / 171 » A supporting system for verification among models of the UML |
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
The problem of task assignment naturally arises in multiagent multitask systems, where an optimal matching of agents and tasks is sought. This problem is a combinatorial optimizati...
SECON
2008
IEEE
14 years 2 months ago
2008
IEEE
—Many sensor networks are deployed for the purpose of covering and monitoring a particular region, and detecting the object of interest in the region. In this paper, based on the...
ISORC
1998
IEEE
14 years 17 hour ago
1998
IEEE
The Time-Triggered Architecture (TTA) provides a computing infrastructure for the design and implementation of dependable distributed embedded systems. A large real-time applicatio...
RULEML
2010
Springer
13 years 6 months ago
2010
Springer
Rule bases are common in many business rule applications, clinical decision support programs, and other types of intelligent systems. As the size of the rule bases grows and the in...
SAC
2004
ACM
14 years 1 months ago
2004
ACM
Techniques that support effective communication during teamwork processes are of particular importance. Psychological study shows that an effective team often can anticipate infor...