12774 search results - page 219 / 2555 » A Framework for Proof Systems |
189
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We present a formal framework of an autonomous agent as a collection of coordinated control loops, with a recurring sense, plan, act cycle. Our framework manages the information f...
148
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
A virtual organization is a temporary network of companies, which implies the potential opportunity to learn and share abundant sources of complementary and compatible knowledge p...
176
click to vote
DSN
2007
IEEE
16 years 28 days ago
2007
IEEE
Nowadays, economy, security and quality of life heavily depend on the resiliency of a number of critical infrastructures, including the Electric Power System (EPS), through which ...
171
click to vote
IPPS
2006
IEEE
16 years 19 days ago
2006
IEEE
In reconfigurable systems, reconfiguration latency is a very important factor impact the system performance. In this paper, a framework is proposed that integrates the temporal pa...
152
click to vote
ICECCS
2002
IEEE
15 years 11 months ago
2002
IEEE
Messaging services are a useful component in distributed systems that require scalable dissemination of messages (events) from suppliers to consumers. These services decouple supp...