154 search results - page 18 / 31 » Version Control in the Inscape Environment |
MOBISYS
2003
ACM
14 years 9 months ago
2003
ACM
3], in that it integrates a service-oriented abstraction with the operating system socket interface and provides adaptive service access at the end-host session layer. However, our...
SODA
2010
ACM
14 years 7 months ago
2010
ACM
Stochastic games are a natural model for open reactive processes: one player represents the controller and his opponent represents a hostile environment. The evolution of the syste...
NETCOOP
2009
Springer
14 years 4 months ago
2009
Springer
Wireless sensor networks are designed to extract data from the deployment environment and combine sensing, data processing and wireless communication to provide useful information ...
IPPS
2008
IEEE
14 years 4 months ago
2008
IEEE
Peer-to-peer (P2P) systems are slowly moving from application-specific architectures to a generic serviceoriented design framework. The idea is to allow a dynamic collection of P...
CSFW
2007
IEEE
14 years 4 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...