Sciweavers

4386 search results - page 746 / 878
» A Tamper-Resistant Programming Language System
Sort
View
UM
2005
Springer
15 years 12 months ago
Modeling Suppositions in Users' Arguments
During conversation, people often make assumptions or suppositions that are not explicitly stated. Failure to identify these suppositions may lead to mis-communication. In this pap...
Sarah George, Ingrid Zukerman, Michael Niemann
IFIP
2004
Springer
15 years 11 months ago
BER Estimation for HiperLAN/2
This paper presents a method to estimate the bit error rate (BER) of the wireless channel based on statistical analysis of the soft output of the receiver only. In HiperLAN/2 sever...
Lodewijk T. Smit, Gerard J. M. Smit, Johann Hurink...
ICALP
2003
Springer
15 years 11 months ago
Solving the Robots Gathering Problem
Abstract. Consider a set of n > 2 simple autonomous mobile robots (decentralized, asynchronous, no common coordinate system, no identities, no central coordination, no direct co...
Mark Cieliebak, Paola Flocchini, Giuseppe Prencipe...
157
Voted
WCRE
1997
IEEE
15 years 10 months ago
Generation of Components for Software Renovation Factories from Context-Free Grammars
We present an approach for the generation of components for a software renovation factory. These components are generated from a context-free grammar definition that recognizes t...
Mark van den Brand, M. P. A. Sellink, Chris Verhoe...
EWDW
1990
15 years 10 months ago
Semantics of Object-Oriented Data Models - The Evolving Algebra Approach
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
Georg Gottlob, Gerti Kappel, Michael Schrefl