5904 search results - page 483 / 1181 » Requirements for a Composition Language |
223
click to vote
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The Description Logics underpinning OWL impose a well-known syntactic restriction in order to preserve decidability: they do not allow to use nonsimple roles—that is, t...
194
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
SMART (Semantic web information Management with automated Reasoning Tool) is an open-source project, which aims to provide intuitive tools for life scientists for represent, integr...
210
click to vote
SOCO
2007
Springer
16 years 1 months ago
2007
Springer
Contemporary software systems are composed of many components, which, in general, undergo phased and incremental development. In order to facilitate the corresponding construction ...
195
click to vote
ACSD
2006
IEEE
16 years 1 months ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...
223
click to vote
AICT
2006
IEEE
16 years 1 months ago
2006
IEEE
Web Services are becoming the prominent paradigm for distributed computing and electronic businesses. This makes natural the extension of the concepts at the base of the workflow ...