Sciweavers

2920 search results - page 503 / 584
» Finite information logic
Sort
View
COMPSAC
2006
IEEE
14 years 5 months ago
Automated Agent Synthesis for Situation Awareness in Service-Based Systems
Service-based systems have many applications, such as collaborative research and development, e-business, health care, military applications, and homeland security. In dynamic ser...
Stephen S. Yau, Haishan Gong, Dazhi Huang, Wei Gao...
CSFW
2006
IEEE
14 years 5 months ago
A Framework for Establishing Decentralized Secure Coalitions
A coalition provides a virtual space across a network that allows its members to interact in a transparent manner. Coalitions may be formed for a variety of purposes. These range ...
Hongbin Zhou, Simon N. Foley
DATE
2006
IEEE
88views Hardware» more  DATE 2006»
14 years 5 months ago
Timing-reasoning-based delay fault diagnosis
In this paper, we propose a timing-reasoning algorithm to improve the resolution of delay fault diagnosis. In contrast to previous approaches which identify candidates by utilizin...
Kai Yang, Kwang-Ting Cheng
ICEBE
2006
IEEE
125views Business» more  ICEBE 2006»
14 years 5 months ago
A Business Collaboration Registry Model on Top of ebRIM
UN/CEFACT’s Modeling Methodology (UMM) is a well accepted approach to define inter-organizational business processes. UMM models should be managed in a registry for two reasons...
Birgit Hofreiter, Christian Huemer, Marco Zapletal
ISCC
2006
IEEE
129views Communications» more  ISCC 2006»
14 years 5 months ago
A Semantic Overlay Network for P2P Schema-Based Data Integration
Abstract— Today data sources are pervasive and their number is growing tremendously. Current tools are not prepared to exploit this unprecedented amount of information and to cop...
Carmela Comito, Simon Patarin, Domenico Talia