2171 search results - page 176 / 435 » A Generic Process Algebra |
142
click to vote
ESA
2006
Springer
15 years 10 months ago
2006
Springer
We design compact and responsive kinetic data structures for detecting collisions between n convex fat objects in 3-dimensional space that can have arbitrary sizes. Our main result...
158
click to vote
JOLLI
2002
15 years 6 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
186
click to vote
WCRE
2008
IEEE
16 years 22 days ago
2008
IEEE
High-level software artifacts, such as requirements, domain-specific requirements, and so on, are an important source of information that is often neglected during the reverse- an...
210
click to vote
SI3D
2006
ACM
16 years 9 days ago
2006
ACM
The human hand is an important interface with complex shape and movement. In virtual reality and gaming applications the use of an individualized rather than generic hand represen...
252
click to vote
EEE
2005
IEEE
15 years 12 months ago
2005
IEEE
Effective Web site design is critical to the success of e-commerce. Therefore, the evaluation and enhancement of a Web site design is of great importance. In this vein, accessibil...