Sciweavers

2930 search results - page 463 / 586
» A Constructive Approach to the Design of Distributed Systems
Sort
View
ICECCS
2009
IEEE
161views Hardware» more  ICECCS 2009»
16 years 20 days ago
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
Jeremy Bryans, John S. Fitzgerald, Alexander Roman...
CASES
2007
ACM
15 years 10 months ago
Rethinking custom ISE identification: a new processor-agnostic method
The last decade has witnessed the emergence of the Application Specific Instruction-set Processor (ASIP) as a viable platform for embedded systems. Extensible ASIPs allow the user...
Ajay K. Verma, Philip Brisk, Paolo Ienne
AIME
2009
Springer
16 years 19 days ago
Computer Vision: A Plea for a Constructivist View
Computer vision is presented and discussed under two complementary views. The positivist view provides a formal background under which vision is approached as a problem-solving tas...
Catherine Garbay
SRDS
2008
IEEE
16 years 12 days ago
Adaptive Internal Clock Synchronization
Existing clock synchronization algorithms assume a bounded clock reading error. This, in turn, results in an inflexible design that typically requires node crashes whenever the g...
Zbigniew Jerzak, Robert Fach, Christof Fetzer
ICDCSW
2007
IEEE
16 years 10 days ago
The WUI-Toolkit: A Model-Driven UI Development Framework for Wearable User Interfaces
We introduce the “WUI-Toolkit” as a framework to support and ease the development of wearable user interfaces (WUIs). The toolkit presents a first step towards a model-driven...
Hendrik Witt, Tom Nicolai, Holger Kenn