681 search results - page 54 / 137 » Aspects for Trace Monitoring |
129
click to vote
PADL
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
131
click to vote
JMLR
2006
15 years 3 months ago
2006
We describe an approach to the inductive synthesis of recursive equations from input/outputexamples which is based on the classical two-step approach to induction of functional Li...
130
click to vote
ISVC
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents the visual surveillance aspects of a distributed intelligent system that has been developed in the context of aircraft activity monitoring. The overall trackin...
123
click to vote
EWSPT
1995
Springer
15 years 7 months ago
1995
Springer
It is advocated here that integrating abstraction and modularity into the concept of point of view, and extending the view concept to the process itself (and not only to data used ...
118
click to vote
PERVASIVE
2010
Springer
15 years 5 months ago
2010
Springer
We present the design and evaluation of Panoramic, a tool that enables end-users to specify and verify an important family of complex location events. Our approach aims to reduce o...