4460 search results - page 761 / 892 » Formal methods for interactive systems |
166
Voted
CCS
2004
ACM
15 years 9 months ago
2004
ACM
Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy ...
125
Voted
ADBIS
2005
Springer
15 years 9 months ago
2005
Springer
In today’s integrating information systems data fusion, i.e., the merging of multiple tuples about the same real-world object into a single tuple, is left to ETL tools and other ...
152
Voted
AFP
2004
Springer
15 years 9 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
146
Voted
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
127
Voted
ICTAI
1992
IEEE
15 years 7 months ago
1992
IEEE
This paper presents a method for tuning parameters under a fixed time constraint for a general binocular stereo-vision algorithm. A major difficulty in stereo vision, as well as i...