504 search results - page 26 / 101 » Modular System Development with Pullbacks |
105
click to vote
SIGSOFT
2004
ACM
15 years 7 months ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriï...
120
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
This paper develops a new combinatorial auction protocol called the Groves Mechanism with SubModular Approximation (GM-SMA). This protocol satisfies the following characteristics:...
111
click to vote
SCS
2001
15 years 3 months ago
2001
Integrated Modular Avionics (IMA) is the term used for a common computer network aboard an aircraft. In order to gain full benefit from this technology a strategy is required to a...
132
Voted
AROBOTS
2000
15 years 2 months ago
2000
In this article, we present the design of a team of heterogeneous, centimeter-scale robots that collaborate to map and explore unknown environments. The robots, called Millibots, a...
138
click to vote
KBS
2006
15 years 2 months ago
2006
This paper presents a knowledge-intensive support paradigm for platform-based product family design and development. The fundamental issues underlying the product family design an...