1588 search results - page 161 / 318 » Modular action language |
120
click to vote
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
144
click to vote
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
UML state machines are widely used for modeling software behavior. However state-crosscutting behaviors, such as synchronization or execution history dependence, are hard to model...
143
click to vote
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
In this article, we address the problem of modularizing legacy applications with monolithic structure, primarily focusing on business software written in an objectoriented program...
134
click to vote
LTCONF
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we present the DANTE system, a tagger for temporal expressions in English documents. DANTE performs both recognition and normalization of these expressions in accord...
135
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...