6303 search results - page 60 / 1261 » A Generated Management for Distributed Systems |
RSP
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
ICAC
2008
IEEE
14 years 3 months ago
2008
IEEE
Recent advances in hardware and software virtualization offer unprecedented management capabilities for the mapping of virtual resources to physical resources. It is highly desira...
ICSOC
2009
Springer
13 years 6 months ago
2009
Springer
Ad-hoc and situational applications for personal use will gain more and more traction in the work support for knowledge workers (KWers). Personal information is a key element in th...
ANSS
2008
IEEE
14 years 3 months ago
2008
IEEE
Grid technologies are emerging as the next generation of distributed computing, allowing the aggregation of resources that are geographically distributed across different location...
WONS
2005
IEEE
14 years 2 months ago
2005
IEEE
The rapid growth of wireless networks and services, integrated with the next-generation mobile communication systems, has led to designing efficient handoff protocols to handle m...