50 search results - page 7 / 10 » Towards Automated Integration of Guess and Check Programs in... |
128
click to vote
ESOP
2005
Springer
15 years 8 months ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
128
click to vote
ILP
2007
Springer
15 years 9 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
119
click to vote
ESWS
2009
Springer
15 years 9 months ago
2009
Springer
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. Although several decidable fragments of OASP have been identified, few reasonin...
175
click to vote
USS
2010
15 years 27 days ago
2010
Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, ...
163
click to vote
ESAW
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...