7209 search results - page 637 / 1442 » Software Engineering for Multi-Agent Systems |
134
click to vote
AVI
2006
15 years 6 months ago
2006
Researchers have explored the design of ambient information systems across a wide range of physical and screen-based media. This work has yielded rich examples of design approache...
168
click to vote
CISIS
2009
IEEE
15 years 2 months ago
2009
IEEE
The capability to provide a platform for flexible business services in the Air Traffic Management (ATM) domain is both a major success factor for the ATM industry and a challenge ...
182
click to vote
CBSE
2011
Springer
14 years 5 months ago
2011
Springer
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...
162
click to vote
VMCAI
2010
Springer
16 years 2 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
154
click to vote
ICSM
2008
IEEE
15 years 11 months ago
2008
IEEE
International standardization in information representation, organization, and dissemination are meant to eliminate the discrepancies in communication among participating organiza...