7918 search results - page 436 / 1584 » Model Composition Directives |
171
Voted
SEFM
2006
IEEE
16 years 25 days ago
2006
IEEE
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...
179
click to vote
CCGRID
2005
IEEE
16 years 14 days ago
2005
IEEE
We have designed a stackable file system called Redundant Array of Independent Filesystems (RAIF). It combines the data survivability properties and performance benefits of trad...
161
click to vote
ICRA
2005
IEEE
16 years 13 days ago
2005
IEEE
- This paper describes the design and fabrication of a low cost, solar powered mobile robot to support a variety of scientific missions on the Antarctic plateau during the austral ...
182
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
Matchmaking will be an important component of future agent and agent-like systems, such as the semantic web. Most research on matchmaking has been directed toward sophisticated ma...
177
click to vote
ACMACE
2004
ACM
16 years 8 days ago
2004
ACM
The Intelligent Street is a music installation that is able to respond intelligently to the collective requests of users interacting together. The performance it creates is largel...