9626 search results - page 439 / 1926 » Invariant Based Programming |
205
Voted
VL
2000
IEEE
15 years 11 months ago
2000
IEEE
Isaac is a programing language for geometric reasoning intended for controlling mobile robots, currently under development at NMSU. Due to the application area, handling input and...
173
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Pattern-based verification trying to abstract away the concrete number of repeated memory structures is one of the approaches that have recently been proposed for verific...
164
click to vote
PADL
2000
Springer
15 years 10 months ago
2000
Springer
In this article we present the University of Evora's Integrated Information System (SIIUE), which is meant to model most of the information necessary for the management and da...
203
click to vote
ECOOP
1995
Springer
15 years 10 months ago
1995
Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
134
click to vote
ACL
2007
15 years 8 months ago
2007
Transliteration is the task of converting a word from one alphabetic script to another. We present a novel, substring-based approach to transliteration, inspired by phrasebased mo...