6608 search results - page 1106 / 1322 » On the Completeness of Model Checking |
143
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Admission control as a mechanism for providing QoS requires an accurate description of the requested flow as well as already admitted flows. Since 802.11 WLAN capacity is shared...
168
click to vote
MAGS
2006
15 years 4 months ago
2006
Multi-Agent Systems (MAS) have become increasingly mature, but this maturity does not make the traditional Object Oriented (OO) approaches obsolete. On the contrary, building MAS i...
176
click to vote
CAD
2004
Springer
15 years 4 months ago
2004
Springer
Solid modeling based on partial differential equations (PDEs) can potentially unify both geometric constraints and functional requirements within a single design framework to mode...
162
click to vote
IDA
2000
Springer
15 years 4 months ago
2000
Springer
When high-dimensional data vectors are visualized on a two- or three-dimensional display, the goal is that two vectors close to each other in the multi-dimensional space should als...
170
click to vote
CGF
1998
15 years 4 months ago
1998
An interactive system is described for creating and animating deformable 3D characters. By using a hybrid layered model of kinematic and physics-based components together with an ...