5924 search results - page 663 / 1185 » Normal Process Representatives |
171
click to vote
TPHOL
2005
IEEE
16 years 24 days ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
195
click to vote
WECWIS
2005
IEEE
16 years 24 days ago
2005
IEEE
Business rules change quite often. These changes cannot be handled efficiently by representing business rules embedded in the source code of the business logic. Efficient handli...
205
click to vote
MOBIDE
2005
ACM
16 years 24 days ago
2005
ACM
This work addresses the problem of efficient maintenance of the (correct) answers to the continuous spatio-temporal range queries in Moving Objects Databases (MOD), which represen...
168
click to vote
OZCHI
2005
ACM
16 years 24 days ago
2005
ACM
This paper describes the development of movement-oriented personas and scenarios for representing multiple users of an interactive, immersive environment, designed as an artistic ...
185
click to vote
SMA
2005
ACM
16 years 24 days ago
2005
ACM
Geometric constraints are at the heart of parametric and feature-based CAD systems. Changing values of geometric constraint parameters is one of the most common operations in such...