Sciweavers

909 search results - page 74 / 182
» Supporting dynamic composition of components
Sort
View
WORDS
2005
IEEE
15 years 9 months ago
A Framework for Middleware Supporting Real-Time Wide-Area Distributed Computing
: The development of real-time systems that are distributed over a wide area is a significant problem that has challenged researchers for many years. Such systems require precise t...
K. H. (Kane) Kim, Stephen F. Jenks, Larry Smarr, A...
FLAIRS
2008
15 years 5 months ago
Conditional and Composite Constraints with Preferences
Preferences in constraint problems are common but significant in many real world applications. In this paper, we extend our conditional and composite CSP (CCCSP) framework, managi...
Malek Mouhoub, Amrudee Sukpan
ISWC
2002
IEEE
15 years 8 months ago
Programming Language Support for Adaptable Wearable Computing
This paper investigates the use of programming language constructs to realize adaptive behavior in support of collaboration among users of wearable and handheld computers. A proto...
Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. ...
131
Voted
ICWE
2007
Springer
15 years 9 months ago
Web User Interface Migration through Different Modalities with Dynamic Device Discovery
In this paper we present a new environment for supporting Web user interface migration through different modalities. The goal is to furnish user interfaces that are able to migrate...
Renata Bandelloni, Giulio Mori, Fabio Patern&ograv...
JAR
2008
70views more  JAR 2008»
15 years 3 months ago
Assumption-Commitment Support for CSP Model Checking
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM SYS A...
Nick Moffat, Michael Goldsmith