620 search results - page 31 / 124 » Tool support for component-based semantics |
118
click to vote
SEMWEB
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. WebML (Web Modelling Language) is a language for the design of dataintensive Web sites. It is supported by visual tools allowing the definition of the conceptual data or...
WS
2008
ACM
14 years 11 months ago
2008
ACM
The World Wide Web (WWW) can be seen as an ideal platform for enhancing argumentative expression and communication, due to its ubiquity and openness. Much argumentation takes plac...
COLCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
—During collaborative writing each author works on a copy of the shared document. These copies are then merged to produce the final document. This asynchronous work is supported...
106
click to vote
HASE
2007
IEEE
15 years 3 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
BIRTHDAY
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description logics are often named as one of the tools that can s...