3742 search results - page 643 / 749 » On the Use of Formal Techniques for Validation |
158
click to vote
SIROCCO
2008
15 years 7 months ago
2008
: A distributed system is scalable if the rate at which it completes its computation and communication tasks does not depend on its size. As an example, the scalability of a peer-t...
170
click to vote
AAAI
2006
15 years 7 months ago
2006
Partially observed actions are observations of action executions in which we are uncertain about the identity of objects, agents, or locations involved in the actions (e.g., we kn...
147
click to vote
EUSFLAT
2003
15 years 7 months ago
2003
Functional laws may be known only at a finite number of points, and then the function can be completed by interpolation techniques obeying some smoothness conditions. We rather pr...
162
click to vote
SERP
2004
15 years 7 months ago
2004
In distributed systems, just as in conventional software, it is often necessary to locate the software components that implement a particular user feature. Several dynamic analysi...
182
click to vote
WSCG
2004
15 years 7 months ago
2004
In recent times, subdivision surfaces have been considered a powerful representation for shape design. They have been successfully introduced in character animation software packa...