793 search results - page 22 / 159 » Protocol Modeling with Model Program Composition |
ISPAN
2002
IEEE
14 years 20 days ago
2002
IEEE
Abstract— In this paper, we propose an ontology specification for JavaBean programs, the object component model of Java. Our specification is written using the DAML+OIL languag...
SEKE
2004
Springer
14 years 1 months ago
2004
Springer
Feature modeling is a popular domain analysis method for describing the commonality and variability among the domain products. The current formalisms of feature modelling do not ha...
STOC
2002
ACM
14 years 8 months ago
2002
ACM
A fundamental problem of distributed computing is that of simulating a secure broadcast channel, within the setting of a point-to-point network. This problem is known as Byzantine...
TPDS
2002
13 years 7 months ago
2002
This paper considers a technique for composing global (barrier-style) and local (channel scanning) synchronization protocols within a single parallel discrete-event simulation. Com...
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...