Sciweavers

632 search results - page 78 / 127
» constraints 2000
Sort
View
RTCSA
2000
IEEE
14 years 2 days ago
Using importance of transactions and optimistic concurrency control in firm real-time databases
In a real-time database system, it is difficult to meet all timing constraints due to the consistency requirements of the underlying database. However, when the transactions in t...
Jan Lindström, Kimmo E. E. Raatikainen
VL
2000
IEEE
130views Visual Languages» more  VL 2000»
14 years 2 days ago
An OO Visual Language Definition Approach Supporting Multiple Views
The formal approach to visual language definition is to use graph grammars and/or graph transformation techniques. These techniques focus on specifying the syntax and manipulation...
David H. Akehurst
VL
2000
IEEE
148views Visual Languages» more  VL 2000»
14 years 2 days ago
Projections in Venn-Euler Diagrams
Venn diagrams and Euler circles have long been used to express constraints on sets and their relationships with other sets. However, these notations can get very cluttered when we...
Joseph Gil, John Howse, Stuart Kent, John Taylor
VL
2000
IEEE
115views Visual Languages» more  VL 2000»
14 years 2 days ago
SD2: A Sound and Complete Diagrammatic Reasoning System
SD2 is a system of Venn-type diagrams that can be used to reason diagrammatically about sets, their cardinalities and their relationships. They augment the systems of Venn-Peirce ...
John Howse, Fernando Molina, John Taylor
ACMDIS
2000
ACM
14 years 1 days ago
Design of a Social Interaction Environment for Electronic Marketplaces
This paper presents the design of an interaction environment for fostering social interactions in electronic marketplaces. The environment incorporates a novel, spatially-organize...
Younghee Jung, Alison Lee