10293 search results - page 1875 / 2059 » Describing Semistructured Data |
171
click to vote
POPL
1997
ACM
15 years 9 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
167
click to vote
ICRA
1994
IEEE
15 years 9 months ago
1994
IEEE
act The Neptune system is a mobile robot system used to remotely inspect above-ground storage tanks (ASTs) while immersed in the petroleum product, in order to ascertain from the i...
156
click to vote
CASES
2007
ACM
15 years 9 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
137
click to vote
ESCIENCE
2007
IEEE
15 years 8 months ago
2007
IEEE
The improvements of the luminosity of the Tevatron Collider require large increases in computing requirements for the CDF experiment which has to be able to increase proportionally...
120
click to vote
AUIC
2004
IEEE
15 years 8 months ago
2004
IEEE
It is becoming increasingly common for user interfaces to use zooming visual effects that automatically adapt to user actions. The MacOs X `dock' icon panel, for instance, us...