1268 search results - page 201 / 254 » Verifying distributed systems: the operational approach |
ISW
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Today, digital content is routinely distributed over the Internet, and consumed in devices based on open platforms. However, on open platforms users can run exploits, rec...
CLOUD
2010
ACM
14 years 3 months ago
2010
ACM
This work addresses the need for stateful dataflow programs that can rapidly sift through huge, evolving data sets. These data-intensive applications perform complex multi-step c...
EDOC
2003
IEEE
14 years 3 months ago
2003
IEEE
Distributed systems are inherently complex, and therefore difficult to design and develop. Experience shows that new technologies—such as components, aspects, and application f...
SACMAT
2009
ACM
14 years 4 months ago
2009
ACM
In this paper, we present a mandatory access control system that uses input from multiple stakeholders to compose policies based on runtime information. In the emerging ubiquitous...
COMPSAC
1998
IEEE
14 years 2 months ago
1998
IEEE
Middleware implementation of various critical services required by large-scale and complex real-time applications on top of COTS operating system is currently an approach of growi...