2414 search results - page 224 / 483 » Reasoning Support for OWL-E |
181
click to vote
BTW
2007
Springer
16 years 26 days ago
2007
Springer
Web services are becoming more and more pervasive and are used by a number of information system clients. However, mobile clients still have limited computing and network resource...
164
click to vote
EMSOFT
2007
Springer
2007
Springer
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
16 years 26 days ago
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the...
156
Voted
ESWS
2007
Springer
16 years 26 days ago
2007
Springer
Semantic Business Process Management (SBPM) utilizes semantic technologies to achieve more automation throughout the BPM lifecycle. An integral part of the SBPM infrastructure is a...
208
click to vote
ESWS
2007
Springer
16 years 26 days ago
2007
Springer
Discovery is a central reasoning task in service-oriented architectures, concerned with detecting Web services that are usable for solving a given request. This paper presents two ...
166
click to vote
ICLP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...