7892 search results - page 173 / 1579 » Programming with Models |
101
click to vote
AICT
2006
IEEE
15 years 7 months ago
2006
IEEE
A software application has strong relationships with the business processes it supports. In the analysis phase those parts of the processes in which the software system is applied...
130
click to vote
AGP
2003
IEEE
15 years 6 months ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
126
click to vote
JMLC
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...
109
click to vote
ACL
2006
15 years 2 months ago
2006
The ability to compress sentences while preserving their grammaticality and most of their meaning has recently received much attention. Our work views sentence compression as an o...
102
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...