691 search results - page 62 / 139 » Design and implementation of a dynamic protocol framework |
153
click to vote
TYPES
1995
Springer
15 years 7 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
192
Voted
VLDB
2007
ACM
16 years 3 months ago
2007
ACM
In large-scale distributed information systems, where participants are autonomous and have special interests for some queries, query allocation is a challenge. Much work in this c...
110
Voted
DAGSTUHL
2003
15 years 4 months ago
2003
Abstract. There are a range of abstractions used for both modelling and proof modern computational systems. While these abstractions may have been devised for specific purposes, t...
120
click to vote
JVM
2004
15 years 4 months ago
2004
This paper presents kernel plugins, a framework for dynamic kernel specialization inspired by ideas borrowed from virtualization research. Plugins can be created and updated inexp...
148
Voted
SIMPRA
2008
15 years 3 months ago
2008
: DEVS is a Modeling and Simulation formalism that has been widely used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines spatial mo...