3238 search results - page 376 / 648 » Not Enough Points Is Enough |
176
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
193
click to vote
COMPSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
The Brooks' Law says that adding manpower to a late software project makes it later. Brooks developed the law through observation of many projects and derived the generalizat...
187
click to vote
MOBICOM
1999
ACM
15 years 11 months ago
1999
ACM
The concept augmented reality is used to describe a system that supplements reality by adding virtual objects into a real-world view. This paper describes a flexible mobile code a...
164
click to vote
MOBIDE
1999
ACM
15 years 11 months ago
1999
ACM
The use of mobile computers is gaining popularity. The number of users with laptops and notebooks is increasing and this trend is likely to continue in the future where the number...
165
click to vote
SIGGRAPH
1999
ACM
15 years 11 months ago
1999
ACM
This paper presents a streaming technique for synthetic texture intensive 3D animation sequences. There is a short latency time while downloading the animation, until an initial f...