Sciweavers

5101 search results - page 500 / 1021
» Capturing Context Requirements
Sort
View
DEXAW
2000
IEEE
134views Database» more  DEXAW 2000»
15 years 11 months ago
Agent-Oriented Concepts to Foster the Automation of E-Business
Improving the efficiency of e-Business usage requires the further development of automation techniques for interorganizational business processes as a major driver. Automation ca...
Andreas Bartelt, Winfried Lamersdorf
DSN
2000
IEEE
15 years 11 months ago
OFTT: A Fault Tolerance Middleware Toolkit for Process Monitoring and Control Windows NT Applications
This paper describes the OFTT (OLE Fault Tolerance Technology), a fault tolerance middleware toolkit running on the Microsoft Windows NT operating system that provides required fa...
Myron Hecht, Xuegao An, Bing Zhang, Yutao He
ICMCS
2000
IEEE
108views Multimedia» more  ICMCS 2000»
15 years 11 months ago
Electronic Pan-Tilt-Zoom: A Solution for Intelligent Room Systems
Choosing the appropriate type of video input is an important issue for any vision-based system and the right decision must take into account the specific requirements of the inten...
Mircea Nicolescu, Gérard G. Medioni
VISUALIZATION
2000
IEEE
15 years 11 months ago
Fast visualization methods for comparing dynamics: a case study in combustion
Visualization can be an important tool for displaying, categorizing and digesting large quantities of inter-related information during laboratory and simulation experiments. Summa...
Kay A. Robbins, Michael Gorman
FMSP
2000
ACM
152views Formal Methods» more  FMSP 2000»
15 years 11 months ago
Fault origin adjudication
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...