2934 search results - page 405 / 587 » Universality in Multi-Agent Systems |
150
click to vote
SIGCSE
2009
ACM
15 years 10 months ago
2009
ACM
Wireless sensor networks are revolutionizing the instrumentation of the physical world, across scientific, industrial and military applications. In this paper, we describe our eff...
204
click to vote
EMSOFT
2001
Springer
15 years 10 months ago
2001
Springer
ltiple Levels of Abstractions in Embedded Software Design Jerry R. Burch1, Roberto Passerone1, and Alberto L. Sangiovanni-Vincentelli2 1 Cadence Berkeley Laboratories, Berkeley CA ...
195
click to vote
ERCIMDL
2001
Springer
15 years 10 months ago
2001
Springer
Federated digital libraries are composed of distributed, autonomous, and often heterogeneous information services but provide users with a transparent, integrated view of collected...
177
Voted
CSL
2000
Springer
15 years 10 months ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...
141
click to vote
HICSS
1999
IEEE
15 years 10 months ago
1999
IEEE
The ELECTROPIA is a CALS/EC engine developed by the Korea CALS/EC Association composed of the government, several universities, and many small and big companies in Korea, in order...