4810 search results - page 691 / 962 » Modeling Value Speculation |
180
click to vote
BMAS
2000
IEEE
15 years 11 months ago
2000
IEEE
Analog simulators typically use a dynamic, adaptive time step control strategy in order to minimize the calculations performed during inactive portions of a system’s operation, ...
197
click to vote
CSFW
1999
IEEE
15 years 11 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
173
click to vote
SSDBM
1999
IEEE
15 years 11 months ago
1999
IEEE
On-Line Analytical Processing (OLAP) technologies are being used widely, but the lack of effective means of handling data imprecision, which occurs when exact values are not known...
151
click to vote
VR
1999
IEEE
15 years 11 months ago
1999
IEEE
The Virtual Assembly Design Environment (VADE) is a Virtual Reality (VR) based engineering application which allows engineers to evaluate, analyze, and plan the assembly of mechan...
173
click to vote
EP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Multimedia style sheet systems uniformly use a constraintbased model of layout. Constraints provide a uniform mechanism for all aspects of style management and layout and...