1142 search results - page 164 / 229 » TAST-Trademark Application Assistant |
113
click to vote
FM
2009
Springer
15 years 4 months ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...
ICSE
2001
IEEE-ACM
15 years 4 months ago
2001
IEEE-ACM
The paper focuses on investigating the combined use of semantic and structural information of programs to support the comprehension tasks involved in the maintenance and reenginee...
100
click to vote
VVS
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper describes a fast algorithm for the volume conversion and rendering of CSG models constructed from both geometric and volumetric primitives. Using 3D texture mapping and...
WISE
2000
Springer
15 years 4 months ago
2000
Springer
Most Internet search engines are keyword-based. They are not efficient for the queries where geographical location is important, such as finding hotels within an area or close to ...
ACMDIS
2000
ACM
15 years 4 months ago
2000
ACM
This paper describes the experience gained in the case study of adapting the Bridge, a GUI design method to the design of non-GUI interactive consumer products. An industrial desi...