1401 search results - page 97 / 281 » Tool Integration for Reasoned Programming |
ICLP
2003
Springer
14 years 2 months ago
2003
Springer
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...
MSS
1999
IEEE
14 years 1 months ago
1999
IEEE
Recently TRW fielded a prototype system for a government customer. It provides a wide range of capabilities including data collection, hierarchical storage, automated distribution...
EDOC
2002
IEEE
14 years 1 months ago
2002
IEEE
While SOAP/XML is perceived as the appropriate interoperability level for web-services, companies compete to provide workflow-based tools for web-service integration. This paper p...
BMCBI
2007
13 years 9 months ago
2007
Background: Identifying relevant research in an ever-growing body of published literature is becoming increasingly difficult. Establishing domain-specific knowledge bases may be a...
UML
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...