9626 search results - page 430 / 1926 » Invariant Based Programming |
148
click to vote
ICRA
2006
IEEE
16 years 25 days ago
2006
IEEE
— We present a control approach that uses a library of trajectories to establish a global control law or policy. This is an alternative to methods for finding global policies ba...
240
click to vote
FROCOS
2009
Springer
16 years 1 months ago
2009
Springer
The developments in information technology during the last decade have been rapidly changing the possibilities for data and knowledge access. To respect this, several declarative k...
200
click to vote
ICLP
2007
Springer
16 years 28 days ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...
194
click to vote
ESAS
2005
Springer
16 years 9 days ago
2005
Springer
Wireless sensor networks are envisioned to be deployed in mission-critical applications. Detecting a compromised sensor, whose memory contents have been tampered, is crucial in the...
192
click to vote
PEPM
2004
ACM
16 years 4 days ago
2004
ACM
Tracing computations is a widely used methodology for program debugging. Lazy languages, in particular, pose new demands on tracing techniques since following the actual trace of ...