738 search results - page 144 / 148 » Object Orientation and Formal Techniques |
100
click to vote
IFIP3
1998
14 years 12 months ago
1998
Development of a wide spread project intended to teaching Computer Science, integrating a considerable number of students all over a country with big geographical extension and sc...
104
click to vote
JSS
2010
14 years 5 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
110
click to vote
SI3D
1999
ACM
15 years 2 months ago
1999
ACM
We present a novel approach to controlling a virtual 3D camera with a 2D mouse or stylus input device that is based on gestural interaction. Our approach to 3D camera manipulation...
EDBT
2006
ACM
15 years 10 months ago
2006
ACM
The need of processing graph reachability queries stems from many applications that manage complex data as graphs. The applications include transportation network, Internet traffic...
EDBT
2008
ACM
15 years 10 months ago
2008
ACM
In response to regulatory focus on secure retention of electronic records, businesses are using magnetic disks configured as write-once read-many (WORM) compliance storage devices...