Sciweavers

1383 search results - page 132 / 277
» Computational Mechanisms for Distributed Requirements Engine...
Sort
View
ATAL
2008
Springer
15 years 7 months ago
Electronic contracting in aircraft aftercare: a case study
Distributed systems comprised of autonomous self-interested entities require some sort of control mechanism to ensure the predictability of the interactions that drive them. This ...
Felipe Rech Meneguzzi, Simon Miles, Michael Luck, ...
179
Voted
WISES
2003
15 years 6 months ago
Function Test Framework for Testing IO-Blocks in a Model-Based Rapid Prototyping Development Environment for Embedded Control Ap
— Testing and verification are important methods for gaining confidence in the reliability of a software product. Keeping this confidence up is especially difficult for softw...
Stefan Pitzek, Peter P. Puschner
174
Voted
PPSC
2001
15 years 6 months ago
Airline Crew Pairing Generation in Parallel
Crew pairing generation is a time consuming part of the complex process of airline crew scheduling. We present a parallel algorithm for this problem's solution and several im...
Diego Klabjan, Karsten Schwan
MOBIQUITOUS
2008
IEEE
15 years 11 months ago
A multi-dimensional model enabling autonomic reasoning for context-aware pervasive applications
A fundamental requirement for autonomic computing is to be able to automatically infer how human users react in similar contextual conditions. This paper examines the problem of a...
Nearchos Paspallis, Konstantinos Kakousis, George ...
HPCA
2005
IEEE
16 years 5 months ago
Scatter-Add in Data Parallel Architectures
Many important applications exhibit large amounts of data parallelism, and modern computer systems are designed to take advantage of it. While much of the computation in the multi...
Jung Ho Ahn, Mattan Erez, William J. Dally