383 search results - page 75 / 77 » Well-Founded Semantics for Description Logic Programs in the... |
SIGSOFT
2010
ACM
13 years 3 months ago
2010
ACM
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...
BMCBI
2008
13 years 5 months ago
2008
Background: The indexing of scientific literature and content is a relevant and contemporary requirement within life science information systems. Navigating information available ...
ICC
2007
IEEE
14 years 3 days ago
2007
IEEE
—Ubiquitous service composition provides new services and applications seamlessly by establishing cooperation among any devices in home networks and any services in service provi...
EON
2008
13 years 7 months ago
2008
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
ENTCS
2006
13 years 5 months ago
2006
Mathematical software libraries provide many computational services. Mathematical operators properties can be used to combine several services in order to provide more complex one...