94 search results - page 18 / 19 » Project Planning Support by Model Checking |
VIS
2007
IEEE
14 years 6 months ago
2007
IEEE
Just as we can work with two-dimensional floor plans to communicate 3D architectural design, we can exploit reduced-dimension shadows to manipulate the higher-dimensional objects ...
COMPGEOM
2004
ACM
13 years 9 months ago
2004
ACM
We introduce a new approach to the problem of collision detection between a rotating milling-cutter of an NC-machine and a model of a solid workpiece, as the rotating cutter conti...
SIGMOD
2005
ACM
14 years 5 months ago
2005
ACM
This paper discusses ongoing research on scientific workflows at the Institute of Computing, University of Campinas (IC - UNICAMP) Brazil. Our projects with bio-scientists have le...
P2P
2006
IEEE
13 years 11 months ago
2006
IEEE
Large-scale distributed data management with P2P systems requires the existence of similarity operators for queries as we cannot assume that all users will agree on exactly the sa...
ELPUB
2007
ACM
13 years 9 months ago
2007
ACM
For national advisory services in the UK (UKOLN, CETIS, and OSS Watch), varieties of openness (open source software, open standards, and open access to research publications and d...