Sciweavers

3365 search results - page 385 / 673
» Digital System Design: Architectures, Methods and Tools
Sort
View
WADT
1999
Springer
15 years 11 months ago
From States to Histories
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
Manfred Broy
EMSOFT
2004
Springer
16 years 1 days ago
A model-based approach to integrating security policies for embedded devices
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
Michael McDougall, Rajeev Alur, Carl A. Gunter
HT
1997
ACM
15 years 11 months ago
Workspaces: The HyperDisco Approach to Internet Distribution
Hypermedia concepts are currently being deployed in a variety of information systems such as the World Wide Web, software development environments, large engineering enterprises, ...
Uffe Kock Wiil, John J. Leggett
TEI
2010
ACM
157views Hardware» more  TEI 2010»
16 years 1 months ago
Relief: a scalable actuated shape display
Relief is an actuated tabletop display, which is able to render and animate three-dimensional shapes with a malleable surface. It allows users to experience and form digital model...
Daniel Leithinger, Hiroshi Ishii
ETFA
2005
IEEE
16 years 8 days ago
Unmanned helicopters applied to humanitarian demining
This article covers research work about unmanned helicopters that is being developed by the Portuguese SME IntRoSys, S.A. in the context of a generic project targeting the develop...
Pedro Santana, José Barata