713 search results - page 81 / 143 » Syntax and Semantics of Babel-17 |
127
click to vote
ADAEUROPE
2005
Springer
15 years 6 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
119
Voted
ASP
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we develop a declarative language for modular answer set programming (ASP). Our language allows to declaratively state how one ASP module can import processed answer ...
90
Voted
CAISE
2005
Springer
15 years 6 months ago
2005
Springer
Today ontology languages present a syntax which looks not “natural” and are lacking of built-in primitives (i.e., modeling notions) domain experts are familiar with. In this pa...
105
click to vote
ECOOP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In aspect-oriented programming, pointcuts are used to describe crossstructure. Pointcuts that abstract over irrelevant implementation details are clearly desired to bette...
89
Voted
FSTTCS
2005
Springer
15 years 6 months ago
2005
Springer
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...