8492 search results - page 1407 / 1699 » Modelling and Design of Multi-Agent Systems |
163
click to vote
ERCIMDL
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Managing bibliographic data is a requirement for many researchers, and in the group setting within which the majority of research takes place, the managing and sharing of...
145
click to vote
FROCOS
2005
Springer
16 years 6 days ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
178
click to vote
LOCA
2005
Springer
16 years 5 days ago
2005
Springer
In this paper, we introduce a compact system for fusing location data with data from simple, low-cost, non-location sensors to infer a user’s place and situational context. Speci...
173
click to vote
CONCUR
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
190
click to vote
FPGA
2004
ACM
16 years 1 days ago
2004
ACM
The simulation of large systems of biochemical reactions is a key part of research into molecular signaling and information processing in biological cells. However, it can be impr...