9626 search results - page 401 / 1926 » Invariant Based Programming |
175
click to vote
ECOOP
2007
Springer
16 years 28 days ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Our work is based on tracematches, an extension to...
143
click to vote
ICMCS
2005
IEEE
16 years 10 days ago
2005
IEEE
In this paper, a method for automatically detecting the end of lively broadcasted sports programs is proposed, which enables users to record the full TV programs when they run ove...
188
click to vote
ICLP
2005
Springer
16 years 8 days ago
2005
Springer
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt ter...
169
click to vote
OOPSLA
2005
Springer
16 years 7 days ago
2005
Springer
Io is small prototype-based programming language. The ideas in Io are mostly inspired by Smalltalk[1] (all values are objects), Self[2] (prototype-based), NewtonScript[3] (differe...
179
click to vote
ISER
2004
Springer
16 years 3 days ago
2004
Springer
As robots enter the human environment and come in contact with inexperienced users, they need to be able to interact with users in a multi-modal fashion—keyboard and mouse are n...