308 search results - page 44 / 62 » Layer Supported Models of Logic Programs |
ESWS
2007
Springer
15 years 5 months ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
107
click to vote
IPPS
2010
IEEE
14 years 9 months ago
2010
IEEE
Predicting how well applications may run on modern systems is becoming increasingly challenging. It is no longer sufficient to look at number of floating point operations and commu...
AOSD
2009
ACM
15 years 2 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
155
click to vote
IHI
2012
13 years 7 months ago
2012
Regulations and policies regarding Electronic Health Information (EHI) are increasingly complex. Federal and State policy makers have called for both education to increase stakeho...
EON
2008
15 years 1 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 (...