7452 search results - page 309 / 1491 » A Semantics for Multiprocessor Systems |
154
click to vote
ADAEUROPE
2008
Springer
16 years 1 months ago
2008
Springer
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
161
click to vote
ECMDAFA
2007
Springer
16 years 26 days ago
2007
Springer
Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a s...
174
click to vote
SYNASC
2005
IEEE
16 years 8 days ago
2005
IEEE
The purpose of this paper is to present the main characteristics of ADF, an open source agent developing platform with a focus on agent collaboration. The basic architecture of th...
161
click to vote
FQAS
2000
Springer
15 years 10 months ago
2000
Springer
This paper focuses on a grammar-based approach to semantic interpretation, which combines the notions of robust and weighted parsing. In restricted domains of application in infor...
188
click to vote
ACL
2006
15 years 8 months ago
2006
This paper proposes a knowledge representation model and a logic proving setting with axioms on demand successfully used for recognizing textual entailments. It also details a lex...