2838 search results - page 316 / 568 » Verifying Controlled Components |
77
Voted
GRAPHITE
2005
ACM
15 years 6 months ago
2005
ACM
The computational requirements of full global illumination rendering are such that it is still not possible to achieve high-fidelity graphics of very complex scenes in a reasonab...
99
Voted
SENSYS
2004
ACM
15 years 6 months ago
2004
ACM
We propose a new configuration language, component and service library, and compiler that make it easier to develop efficient sensor network applications. Our goal is the constr...
106
Voted
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
180
Voted
GLOBAL
2003
Springer
15 years 6 months ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
115
click to vote
RSP
1999
IEEE
15 years 5 months ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...