2859 search results - page 20 / 572 » A Programming Environment for Bousi-Prolog |
SIGCOMM
2003
ACM
14 years 1 months ago
2003
ACM
Packet traces of operational Internet traffic are invaluable to network research, but public sharing of such traces is severely limited by the need to first remove all sensitive...
ECBS
1996
IEEE
14 years 20 days ago
1996
IEEE
In this paper, it is shown that, through the use of Model-Integrated Program Synthesis MIPS, parallel real-time implementations of image processing data ows can be synthesized fro...
CAV
2007
Springer
14 years 2 months ago
2007
Springer
AUIC
2006
IEEE
14 years 2 months ago
2006
IEEE
In the context of a larger project dealing with kansei analysis of movement, we present a basic method for applying real-time filters to human motion capture data in order to modi...
TACAS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification...