Sciweavers

1190 search results - page 94 / 238
» The Dwelling as a Place for Work
Sort
View
ENTCS
2008
79views more  ENTCS 2008»
15 years 6 months ago
Experimenting Formal Proofs of Petri Nets Refinements
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
Christine Choppy, Micaela Mayero, Laure Petrucci
CORR
2006
Springer
129views Education» more  CORR 2006»
15 years 6 months ago
Topology Control and Network Lifetime in Three-Dimensional Wireless Sensor Networks
Coverage and connectivity issues of three-dimensional (3D) networks are addressed in [2], but that work assumes that a node can be placed at any arbitrary location. In this work, ...
S. M. Nazrul Alam, Zygmunt J. Haas
CORR
2007
Springer
94views Education» more  CORR 2007»
15 years 6 months ago
Negotiation in collaborative assessment of design solutions: an empirical study on a Concurrent Engineering process
In Concurrent engineering, design solutions are not only produced by individuals specialized in a given field. Due to the team nature of the design activity, solutions are negotia...
Géraldine Martin, Françoise Dé...
JGTOOLS
2006
125views more  JGTOOLS 2006»
15 years 6 months ago
GPU-Based Tiled Ray Casting Using Depth Peeling
We propose a new hardware ray casting algorithm for unstructured meshes composed of tetrahedral cells. Our work builds on the technique published at IEEE Visualization 2003 by Wei...
Fábio F. Bernardon, Christian Azambuja Pago...
PUC
2006
72views more  PUC 2006»
15 years 6 months ago
Towards self-protecting ubiquitous systems: monitoring trust-based interactions
The requirement for spontaneous interaction in ubiquitous computing creates security issues over and above those present in other areas of computing, deeming traditional approaches...
Colin English, Sotirios Terzis, Paddy Nixon