5722 search results - page 281 / 1145 » the future of experimental research |
187
click to vote
ATAL
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
170
click to vote
VISUALIZATION
1995
IEEE
15 years 10 months ago
1995
IEEE
Navigation in computer generated information spaces may be difficult, resulting in users getting “lost in hyperspace.” This work aims to build on research from the area of ci...
175
click to vote
SIGMOD
1991
ACM
15 years 10 months ago
1991
ACM
This paper presents an architecture for a persistent object store in which multi-level storage is explicitly included. Traditionally, DBMSs have assumed that all accessible data r...
180
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
Post-silicon validation is used to detect and fix bugs in integrated circuits and systems after manufacture. Due to sheer design complexity, it is nearly impossible to detect and ...
179
click to vote
CNSR
2010
IEEE
15 years 9 months ago
2010
IEEE
In the past few years the security issues in the supervisory control and data acquisition (SCADA) system have been investigated, and many security mechanisms have been proposed fro...