738 search results - page 21 / 148 » Object Orientation and Formal Techniques |
CSCWD
2009
Springer
15 years 5 months ago
2009
Springer
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...
IEAAIE
2009
Springer
15 years 5 months ago
2009
Springer
One of the main problems that we have to face when visiting public or official buildings (i.e hospitals or public administrations) is the lack of information and signs that can gui...
72
Voted
ICIP
2000
IEEE
16 years 14 days ago
2000
IEEE
I n this paper, we investigate the problem of stabilization, and detection and tracking of moving or stationary objects in a forward-looking infrared (FLIR) sequence. A multifract...
107
Voted
ZUM
1998
Springer
15 years 3 months ago
1998
Springer
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...
87
Voted
CBSE
2009
Springer
15 years 3 months ago
2009
Springer
A challenge of componentizing legacy applications is to extract behavior specification of suggested components. It is desirable to preserve a relation between the original structur...