1153 search results - page 30 / 231 » Compositional Specification Calculus for Information Systems... |
147
click to vote
POLICY
2001
Springer
15 years 8 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...
171
Voted
LMO
2000
15 years 5 months ago
2000
The development of flexible and reusable concurrent object-oriented programming ions has suffered from the inherent problem that reusability and extensibility is limited due to pos...
133
click to vote
POLICY
2004
Springer
15 years 9 months ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...
134
click to vote
EUROSSC
2006
Springer
15 years 7 months ago
2006
Springer
We consider the challenge of dynamically adapting services to context changes that occur in ubiquitous computing environments (e.g., changes in a user's activity) and propose ...
167
Voted
IFIP13
2004
15 years 5 months ago
2004
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...