Sciweavers

620 search results - page 31 / 124
» Tool support for component-based semantics
Sort
View
152
Voted
SEMWEB
2001
Springer
15 years 8 months ago
A semantic model for specifying data-intensive Web applications using WebML
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...
Sara Comai, Piero Fraternali
135
Voted
WS
2008
ACM
15 years 3 months ago
Mass argumentation and the semantic web
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...
Iyad Rahwan
130
Voted
COLCOM
2007
IEEE
15 years 10 months ago
SemCW: Semantic collaborative writing using RST
—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...
Charbel Rahhal, Hala Skaf-Molli, Pascal Molli, Nis...
144
Voted
HASE
2007
IEEE
15 years 7 months ago
Validation Support for Distributed Real-Time Embedded Systems in VDM++
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...
John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen...
127
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
Description Logics as Ontology Languages for the Semantic Web
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...
Franz Baader, Ian Horrocks, Ulrike Sattler