2740 search results - page 306 / 548 » Typing the Specialization Interface |
132
Voted
TACAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
159
click to vote
MMM
2003
Springer
15 years 10 months ago
2003
Springer
The Digital Video Album (DVA) system described here integrates various cooperating subsystems to index and query video documents according to their semantic content and other meta...
137
click to vote
MSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Data grids federate storage resources. They provide a logical name space that can be used to register digital entities, a storage repository ion for manipulating data, and a high ...
121
click to vote
SIGDOC
2003
ACM
15 years 9 months ago
2003
ACM
Artificial intelligence techniques have found a number of applications in hypermedia, mostly in two specific areas, user interface, particularly adaptive ones and information sear...
127
click to vote
UIST
2003
ACM
15 years 9 months ago
2003
ACM
Recent advances in sensing technology have enabled a new generation of tabletop displays that can sense multiple points of input from several users simultaneously. However, apart ...