504 search results - page 63 / 101 » Modular System Development with Pullbacks |
140
click to vote
OSDI
2000
ACM
15 years 3 months ago
2000
ACM
Knit is a new component definition and linking language for systems code. Knit helps make C code more understandable and reusable by third parties, helps eliminate much of the per...
130
click to vote
APN
2010
Springer
15 years 7 months ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
116
click to vote
TROB
2002
2002
Hormone-inspired adaptive communication and distributed control for CONRO self-reconfigurable robots
15 years 2 months ago
This paper presents a biologically inspired approach to two basic problems in modular self-reconfigurable robots: adaptive communication in self-reconfigurable and dynamic networks...
123
Voted
WSC
2008
15 years 4 months ago
2008
Simulation of wildfire spread remains to be a challenging task. In previous work, a cellular space fire spread simulation model has been developed based on the Discrete Event Syst...
112
Voted
WWW
2005
ACM
16 years 3 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...