4178 search results - page 346 / 836 » Similarity Patterns in Language |
196
click to vote
WLP
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We present a framework for a declarative approach to spatiotemporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deducti...
171
click to vote
ESOP
1999
Springer
15 years 11 months ago
1999
Springer
We define an extension of the π-calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocol...
147
click to vote
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
Framework optimizations capitalize on object dependencies, while framework flexibility and composability demand object independence. This paper shows how to balance these conflicti...
179
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Refactoring is not only useful for source code of implementations, but as well for test specifications. The open source TRex tool automates the application of refactorings and the ...
179
click to vote
AAAI
2007
15 years 9 months ago
2007
Action description language C+ is more expressive than ADL in many ways; for instance, it addresses the ramification problem. On the other hand, ADL is based on first-order logi...