Sciweavers

1652 search results - page 15 / 331
» Agent Architectures for Compliance
Sort
View
AGENTS
2000
Springer
15 years 1 months ago
An agent architecture to fulfill real-time requirements
Ignacio Soto, Mercedes Garijo, Carlos Angel Iglesi...
CAV
2007
Springer
127views Hardware» more  CAV 2007»
15 years 3 months ago
CVC3
Abstract. CVC3, a joint project of NYU and U Iowa, is the new and latest version of the Cooperating Validity Checker. CVC3 extends and builds on the functionality of its predecesso...
Clark Barrett, Cesare Tinelli
IEEESCC
2007
IEEE
15 years 3 months ago
Governance of Cross-Organizational Service Agreements: A Policy-Based Approach
Many real-life organizations are hierarchies of largely autonomous, heterogeneous members (individuals or other organizations), often exhibiting rich policies. We restrict our att...
Yathiraj B. Udupi, Munindar P. Singh
83
Voted
SMC
2007
IEEE
108views Control Systems» more  SMC 2007»
15 years 3 months ago
Cybersecurity for electric power control and automation systems
—Disruption of electric power operations can be catastrophic on the national security and economy. Due to the complexity of widely dispersed assets and the interdependency betwee...
Chee-Wooi Ten, Manimaran Govindarasu, Chen-Ching L...
AGENTS
2001
Springer
15 years 2 months ago
Architectural design of a multi-agent system for handling metadata streams
Ï Ú × Ò ÑÙÐØ ¹ ÒØ Ö Ø ØÙÖ ØÓ Ð Ú Ö Ñ Ø ¹ Ø ×ØÖ Ñ× ×ÝÒ ÖÓÒÓÙ×ÐÝ Û Ø ÑÙÐØ Ñ ×ØÖ Ñ× ÓÚ Ö Û ¹ Ö Ò ØÛÓÖ º ÌÓ Ø × Ò...
Don Cruickshank, Luc Moreau, David De Roure