Sciweavers

9873 search results - page 118 / 1975
» Emergent Semantics Systems
Sort
View
GI
2004
Springer
14 years 2 months ago
Static Safety Analysis of UML Action Semantics for Critical Systems Development
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
Zsigmond Pap, Dániel Varró
EUC
2005
Springer
14 years 2 months ago
Agent-Community-Based P2P Semantic Web Information Retrieval System Architecture
In this paper, we propose a conceptual architecture for a personal semantic Web information retrieval system. It incorporates semantic Web, Web service, P2P and multi-agent technol...
Haibo Yu, Tsunenori Mine, Makoto Amamiya
WEBDB
2000
Springer
128views Database» more  WEBDB 2000»
14 years 14 days ago
Architecting a Network Query Engine for Producing Partial Results
The growth of the Internet has made it possible to query data in all corners of the globe. This trend is being abetted by the emergence of standards for data representation, such ...
Jayavel Shanmugasundaram, Kristin Tufte, David J. ...
DAGSTUHL
2006
13 years 10 months ago
System model for UML -- The interactions case
Previous works define the notion of system model, which provides a formal basis for the definition of the semantics of a distributed object-oriented modelling language. This articl...
María Victoria Cengarle
ENTCS
2008
85views more  ENTCS 2008»
13 years 9 months ago
Innermost Termination of Rewrite Systems by Labeling
Semantic labeling is a powerful transformation technique for proving termination of term rewrite systems. The semantic part is given by a model or a quasi-model of the rewrite rul...
René Thiemann, Aart Middeldorp