1888 search results - page 346 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
137
Voted
FPGA
2007
ACM
15 years 8 months ago
2007
ACM
Shrinking time-to-market and high demand for productivity has driven traditional hardware designers to use design methodologies that start from high-level languages. However, meet...
129
Voted
IPPS
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we introduce the new technique of HighConfidence Software Monitoring (HCSM), which allows one to perform software monitoring with bounded overhead and concomitantl...
110
click to vote
ESA
2005
Springer
15 years 8 months ago
2005
Springer
Sensor nodes are very weak computers that get distributed at random on a surface. Once deployed, they must wake up and form a radio network. Sensor network bootstrapping research t...
103
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
185
Voted
VRML
2003
ACM
15 years 7 months ago
2003
ACM
One of the major challenges in Computer Graphics concerns the 3D representation and physically-based simulation of garments. In our research, we are working closely with the texti...