1086 search results - page 137 / 218 » Event Structures with Symmetry |
RE
2004
Springer
14 years 3 months ago
2004
Springer
Scenarios and goals are effective and popular techniques for requirements definition. Validation is essential in order to ensure that they represent what stakeholders actually wan...
ICDCSW
2002
IEEE
14 years 3 months ago
2002
IEEE
A key issue when designing and implementing largescale publish/subscribe systems is how to efficiently propagate subscriptions among the brokers of the system. Brokers require thi...
POLICY
2001
Springer
14 years 2 months 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...
ICPR
2000
IEEE
14 years 2 months ago
2000
IEEE
A collection of distributed databases forms an important architectural component of the ATON project for networked incidence management of highway traffic. The database sub-archit...
CMSB
2009
Springer
14 years 1 months ago
2009
Springer
In this paper we consider the modeling of a selected portion of signal transduction events involved in the angiogenesis process. The detailed model of this process contains a large...