12774 search results - page 219 / 2555 » A Framework for Proof Systems |
213
click to vote
ATAL
2010
Springer
15 years 8 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...
166
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...
203
click to vote
DSN
2007
IEEE
16 years 1 months 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 ...
183
click to vote
IPPS
2006
IEEE
16 years 1 months 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...
173
click to vote
ICECCS
2002
IEEE
16 years 5 days 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...