Sciweavers

329 search results - page 26 / 66
» Formal Support for Representing and Automating Semantic Inte...
Sort
View
ZUM
2000
Springer
132views Formal Methods» more  ZUM 2000»
13 years 11 months ago
A Formal Architecture for the 3APL Agent Programming Language
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
Mark d'Inverno, Koen V. Hindriks, Michael Luck
VVEIS
2007
13 years 9 months ago
UML-driven Information Systems and their Formal Integration Validation and Distribution
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
Nasreddine Aoumeur, Gunter Saake
LREC
2010
154views Education» more  LREC 2010»
13 years 9 months ago
WikiWoods: Syntacto-Semantic Annotation for English Wikipedia
WikiWoods is an ongoing initiative to provide rich syntacto-semantic annotations for English Wikipedia. We sketch an automated processing pipeline to extract relevant textual cont...
Dan Flickinger, Stephan Oepen, Gisle Ytrestø...
WWW
2004
ACM
14 years 8 months ago
Meteor-s web service annotation framework
The World Wide Web is emerging not only as an infrastructure for data, but also for a broader variety of resources that are increasingly being made available as Web services. Rele...
Abhijit A. Patil, Swapna A. Oundhakar, Amit P. She...
SEMWEB
2009
Springer
14 years 2 months ago
Semantic Usage Policies for Web Services
Web Services provide standardized interfaces for accessing software systems and data sources over the Internet. Semantic descriptions of Web Services help to automate the discovery...
Sebastian Speiser