Sciweavers

1414 search results - page 55 / 283
» Combining Intruder Theories
Sort
View
VRST
2003
ACM
14 years 3 months ago
Information-rich virtual environments: theory, tools, and research agenda
Virtual environments (VEs) allow users to experience and interact with a rich sensory environment, but most virtual worlds contain only sensory information similar to that which w...
Doug A. Bowman, Chris North, Jian Chen, Nicholas F...
CONCUR
2003
Springer
14 years 3 months ago
A Compositional Semantic Theory for Synchronous Component-based Design
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
Barry Norton, Gerald Lüttgen, Michael Mendler
EUROCAST
2003
Springer
105views Hardware» more  EUROCAST 2003»
14 years 3 months ago
A Self-adaptive Model for Selective Pressure Handling within the Theory of Genetic Algorithms
In this paper we introduce a new generic selection method for Genetic Algorithms. The main difference of this selection principle in contrast to conventional selection models is g...
Michael Affenzeller, Stefan Wagner 0002
ELP
1991
14 years 1 months ago
Natural Semantics and Some of Its Meta-Theory in Elf
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
Spiro Michaylov, Frank Pfenning
AUTONOMICS
2007
ACM
13 years 11 months ago
Multi-hop broadcast from theory to reality: practical design for ad hoc networks
We propose a complete design for a scope limited, multihop broadcast middleware, which is adapted to the variability of the ad-hoc environment and works in unlimited ad-hoc networ...
Alaeddine El Fawal, Jean-Yves Le Boudec, Kav&eacut...