197 search results - page 36 / 40 » Model Checking Control Communication of a FACTS Device |
ULPAA
1992
13 years 8 months ago
1992
The goal of the Touring Machine project is to provide a reliable and extensible software platform that supports independently-developed distributed multimedia applications. The pr...
EUROSYS
2008
ACM
14 years 4 months ago
2008
ACM
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...
SIGCOMM
2012
ACM
11 years 10 months ago
2012
ACM
ions for Network Update Mark Reitblatt Cornell Nate Foster Cornell Jennifer Rexford Princeton Cole Schlesinger Princeton David Walker Princeton Configuration changes are a common...
IWCMC
2010
ACM
13 years 9 months ago
2010
ACM
In a pervasive computing environment, the devices are embedded in the physical world, providing services and interconnected by a communication network. Composition of these servic...
TES
2001
Springer
13 years 12 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...