1888 search results - page 346 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
162
click to vote
FPGA
2007
ACM
15 years 11 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...
153
click to vote
IPPS
2008
IEEE
15 years 11 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...
136
Voted
ESA
2005
Springer
15 years 10 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...
128
click to vote
ATAL
2003
Springer
15 years 10 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...
222
click to vote
VRML
2003
ACM
15 years 10 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...