Sciweavers

3206 search results - page 209 / 642
» How minds can be computational systems
Sort
View
IC
2010
15 years 4 months ago
Recovering from mDNS Domain Failures
Abstract-- `mDNS' - a hierarchical multicast session directory service architecture, which has been recently submitted to IETF editorial board for publication under Best Curre...
Piyush Harsh, Richard Newman
FIW
2007
152views Communications» more  FIW 2007»
15 years 8 months ago
Considering Safety and Feature Interactions for Integrated Services of Home Network System
Assuring safety in the home network system (HNS) is a crucial issue to guarantee high quality of life. In this position paper, we first review our previous work, formulating three...
Ben Yan
NORDICHI
2006
ACM
16 years 16 days ago
Designing familiar open surfaces
While participatory design makes end-users part of the design process, we might also want the resulting system to be open for interpretation, appropriation and change over time to...
Kristina Höök
EDOC
2006
IEEE
16 years 19 days ago
Scheduling Real-Time Components Using Jitter-Constrained Streams
Abstract— Component-based applications require good middleware support. In particular, business logic should be separated from management code for guaranteeing nonfunctional prop...
Claude-Joachim Hamann, Steffen Zschaler
FROCOS
2005
Springer
16 years 3 days ago
Proving Liveness with Fairness Using Rewriting
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
Adam Koprowski, Hans Zantema