7167 search results - page 1216 / 1434 » Answer Set Programming |
114
click to vote
COMPSAC
1999
IEEE
15 years 6 months ago
1999
IEEE
As the complexity of software systems increases, so need for a good mechanism of abstraction. architecture design is an abstraction, hiding an immense amount of details about the ...
138
click to vote
CSFW
1999
IEEE
15 years 6 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...
132
Voted
DAC
1999
ACM
15 years 6 months ago
1999
ACM
As the CMOS technology enters the deep submicron design era, the lateral inter-wire coupling capacitance becomes the dominant part of load capacitance and makes RC delay on the bu...
ITICSE
1999
ACM
15 years 6 months ago
1999
ACM
This paper shows how a multimedia multi-framed simulation generator was developed. A technique of recording a sequence of steps and playing them back as an animation overcomes the...
101
Voted
SIGGRAPH
1999
ACM
15 years 6 months ago
1999
ACM
Bus traffic between the graphics subsystem and memory can become a bottleneck when rendering geometrically complex meshes. In this paper, we investigate the use of vertex caching...