Sciweavers

2629 search results - page 166 / 526
» Build a Computer from Scratch
Sort
View
EPEW
2007
Springer
16 years 10 days ago
Towards an Automatic Modeling Tool for Observed System Behavior
Current computer systems and communication networks tend to be highly complex, and they typically hide their internal structure from their users. Thus, for selected aspects of capa...
Thomas Begin, Alexandre Brandwajn, Bruno Baynat, B...
ICCS
2005
Springer
15 years 11 months ago
Integrating Fire, Structure and Agent Models
Abstract. A state-of-the-art integrated environment was created to study interaction among fire, structure and agent models in a fire evacuation from a typical office building. For...
Alok R. Chaturvedi, S. A. Filatyev, J. P. Gore, A....
RTA
1997
Springer
15 years 10 months ago
The Invariant Package of MAS
A prototypical framework, which was used for building software components for symbolic computation, is extended as follows. First, we demonstrate that the server components can be ...
Manfred Göbel
TLCA
2001
Springer
15 years 10 months ago
Subtyping Recursive Games
Using methods drawn from Game Semantics, we build a sound and computationally adequate model of a simple calculus that includes both subtyping and recursive types. Our model solves...
Juliusz Chroboczek
ISWC
1997
IEEE
15 years 10 months ago
Smart Fabric, or "Wearable Clothing"
Wearable computers can now merge seamlessly into ordinary clothing. Using various conductive textiles, data and power distribution as well as sensing circuitry can be incorporated...
Rehmi Post, Maggie Orth