328 search results - page 59 / 66 » Model Checking for Combined Logics with an Application to Mo... |
ASAP
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper we introduce a design methodology that allows the system/circuit designer to build reliable systems out of unreliable nano-scale components. The central point of our...
ICNS
2007
IEEE
14 years 2 months ago
2007
IEEE
— In recent years Wireless Local Area Networks (WLANs) or hotspots, as they are commonly known, have emerged as a promising networking platform to extend network connectivity in ...
ATAL
2006
Springer
13 years 10 months ago
2006
Springer
We present a performance analysis of an agent-based middleware system we have developed based on "reAgents," remotely executing agents that enhance the performance of cl...
RIDE
1999
IEEE
14 years 21 days ago
1999
IEEE
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
It is extremely hard for a global organization with services over multiple channels to capture a consistent and unified view of its data, services, and interactions. While SOA and...