2873 search results - page 302 / 575 » Model Checking and the Mu-calculus |
125
click to vote
DSOM
2004
Springer
15 years 9 months ago
2004
Springer
Netconf is a protocol proposed by the IETF that defines a set of operations for network configuration. One of the main issues of Netconf is to define operations such as validate...
144
click to vote
MOMM
2009
ACM
15 years 9 months ago
2009
ACM
Modeling adaptivity is a challenging task for two reasons: 1) adaptation is usually strongly interwoven with the general functionality of the web application, separation of concer...
136
click to vote
FTDCS
1999
IEEE
15 years 8 months ago
1999
IEEE
The Java Security Model has undergone considerable evolution since its initial implementation. However, due to its historical focus on securing machines against attack from hostil...
118
click to vote
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
129
click to vote
WSC
2007
15 years 6 months ago
2007
Metamodels are functions with calibrated parameters, used actions and simplifications of the simulation model. A metamodel exposes the system’s input-output relationship and ca...