Sciweavers

805 search results - page 116 / 161
» Semantic Modeling of Places using Objects
Sort
View
ZUM
1998
Springer
111views Formal Methods» more  ZUM 1998»
15 years 7 months ago
Combining Specification Techniques for Processes, Data and Time
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
Ernst-Rüdiger Olderog
131
Voted
HICSS
1994
IEEE
117views Biometrics» more  HICSS 1994»
15 years 7 months ago
Providing for Organizational Memory in Computer-Supported Meetings
Meeting memory features are poorly integrated into current group support systems (GSS). This paper discusses how to introduce meeting memory functionality into a GSS. The paper fi...
Gerhard Schwabe
135
Voted
ER
2003
Springer
173views Database» more  ER 2003»
15 years 8 months ago
Automatic Generation of XQuery View Definitions from ORA-SS Views
Many Internet-based applications have adopted XML as the standard data exchange format. These XML data are typically stored in its native form, thus creating the need to present XM...
Ya Bing Chen, Tok Wang Ling, Mong-Li Lee
135
Voted
ICAIL
2007
ACM
15 years 7 months ago
The Legal-RDF Ontology. A Generic Model for Legal Documents
Legal-RDF.org1 publishes a practical ontology that models both the layout and content of a document and metadata about the document; these have been built using data models implici...
John McClure
HT
1987
ACM
15 years 7 months ago
Exploring Representation Problems Using Hypertext
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...
Catherine C. Marshall