793 search results - page 30 / 159 » Protocol Modeling with Model Program Composition |
129
click to vote
PLILP
1998
Springer
15 years 6 months ago
1998
Springer
We report on the current status of the LMC project, which seeks to deploy the latest developments in logic-programming technology to advance the state of the art of system speci ca...
101
click to vote
COORDINATION
2007
Springer
15 years 8 months ago
2007
Springer
Our aim is to define the kernel of a simple and uniform programming model—the reactor model—suitable for building and evolving internet-scale programs. A reactor consists of t...
101
click to vote
UIST
2000
ACM
15 years 6 months ago
2000
ACM
Traditionally, designers organize software system as active end-points (e.g. applications) linked by passive infrastructures (e.g. networks). Increasingly, however, networks and i...
105
Voted
CP
2007
Springer
15 years 8 months ago
2007
Springer
Defence trees and CP-net (ceteris paribus network) are two useful approaches that can be used to help a system administrator to analyze a security scenario and to give him a model ...
121
click to vote
DAIS
2008
15 years 3 months ago
2008
Gossip protocols have been successfully applied in the last few years to address a wide range of functionalities. So far, however, very few software frameworks have been proposed t...