Sciweavers

4037 search results - page 408 / 808
» Routing without ordering
Sort
View
123
Voted
FMCO
2006
Springer
123views Formal Methods» more  FMCO 2006»
15 years 7 months ago
Exhaustive Testing of Exception Handlers with Enforcer
Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initi...
Cyrille Artho, Armin Biere, Shinichi Honiden
151
Voted
FOIKS
2006
Springer
15 years 7 months ago
Guarded Open Answer Set Programming with Generalized Literals
Abstract. We extend the open answer set semantics for programs with generalized literals. Such extended programs (EPs) have interesting properties, e.g. the ability to express infi...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
91
Voted
EUROPAR
2000
Springer
15 years 7 months ago
Reducing the Replacement Overhead on COMA Protocols for Workstation-Based Architectures
In this paper we discuss the behavior of the replacement mechanism of well-known COMA protocols applied to a loosely-coupled multicomputer system sharing a common bus. We also pres...
Diego R. Llanos Ferraris, Benjamín Sahelice...
129
Voted
IEAAIE
2000
Springer
15 years 7 months ago
Intelligent and Self-Adaptive Interface
The computer systems for the decision-making must provide in a synthetic and simple way the necessary elements to the decisionmaker. That is why, it is indispensable to build Compu...
Hadhoum Boukachour, Claude Duvallet, Alain Cardon
104
Voted
ACMDIS
1997
ACM
15 years 7 months ago
The Flower Model for Multidisciplinary Teamwork on a New Product-Market Combination - In This Case E-Mail-on-TV
A multidisciplinary team at Philips Sound and Vision's TV Lab developed an E-mail-on-TV functionality. Their objective is to offer the benefits of E-mail to people in their l...
Marc Steen