504 search results - page 63 / 101 » Modular System Development with Pullbacks |
177
click to vote
OSDI
2000
ACM
15 years 7 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...
175
Voted
APN
2010
Springer
15 years 10 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...
148
click to vote
TROB
2002
2002
Hormone-inspired adaptive communication and distributed control for CONRO self-reconfigurable robots
15 years 5 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...
165
click to vote
WSC
2008
15 years 8 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...
152
click to vote
WWW
2005
ACM
16 years 6 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...