50 search results - page 4 / 10 » Safe compositional specification of networking systems |
ICCS
1998
Springer
13 years 12 months ago
1998
Springer
Internet-based information technologies have considerable potential for improving collaboration in professional communities. In this paper, we explain the concept of user-driven sp...
POLICY
2001
Springer
14 years 2 days ago
2001
Springer
The Ponder language provides a common means of specifying security policies that map onto various access control implementation mechanisms for firewalls, operating systems, databas...
NETWORK
2008
13 years 7 months ago
2008
Although small mobile computers have processors whose capabilities are increasing, often they still are resource constrained in terms of performing many common computing tasks. Co...
SCP
2000
13 years 7 months ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
PERCOM
2008
ACM
13 years 7 months ago
2008
ACM
The pervasive computing environment will be composed of heterogeneous services. In this work, we have explored how a domain specific language for service composition can be implem...