Sciweavers

2404 search results - page 217 / 481
» Postmodernism and Control Engineering
Sort
View
CHI
2004
ACM
15 years 12 months ago
MetaCrystal: visual interface for meta searching
MetaCrystal visualizes the degree of overlap between the top results returned by different search engines. Linked overview tools support rapid exploration, facilitate advanced fil...
Anselm Spoerri
ADAEUROPE
2004
Springer
15 years 12 months ago
Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
Bárbara Álvarez, Juan A. Pastor, Fra...
AMAST
2004
Springer
15 years 12 months ago
Counting Votes with Formal Methods
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...
Bart Jacobs
GRID
2004
Springer
15 years 12 months ago
A Novel Architecture for Realizing Grid Workflow using Tuple Spaces
Grid workflow can be defined as the composition of grid application services which execute on heterogeneous and distributed resources in a well-defined order to accomplish a speci...
Jia Yu, Rajkumar Buyya
PROFES
2004
Springer
15 years 12 months ago
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements
Abstract. The important tasks in requirement engineering are resolving requirements inconsistencies between regulators and developers of safety-critical computer systems, and the v...
Sergiy A. Vilkomir, Aditya K. Ghose