5818 search results - page 173 / 1164 » A reasonable Semantic Web |
223
Voted
ICWS
2004
IEEE
15 years 8 months ago
2004
IEEE
Web services technologies are emerging as a new approach for supporting e-Science and e-Engineering by providing access to heterogeneous computation resources and integration of d...
201
click to vote
JAR
2007
15 years 7 months ago
2007
Abstract. We illustrate a methodology for formalizing and reasoning about Abadi and Cardelli’s object-based calculi, in (co)inductive type theory, such as the Calculus of (Co)Ind...
217
Voted
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
170
Voted
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
tract State Machines to Concurrent Transaction Logic Dumitru Roman1 , Michael Kifer2 , and Dieter Fensel1 1 STI Innsbruck, Austria 2 State University of New York at Stony Brook, US...
171
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
We demonstrate results presentation and query refinement functions of the SemSearch engine for semantic web portals and intranets.