Sciweavers

630 search results - page 51 / 126
» Stateful Aspects in JAsCo
Sort
View
ASWEC
2005
IEEE
14 years 2 months ago
A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
Soon-Kyeong Kim, Luke Wildman, Roger Duke
SOFSEM
2007
Springer
14 years 2 months ago
Games, Time, and Probability: Graph Models for System Design and Analysis
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
Thomas A. Henzinger
MM
2005
ACM
116views Multimedia» more  MM 2005»
14 years 2 months ago
Affective multimodal human-computer interaction
Social and emotional intelligence are aspects of human intelligence that have been argued to be better predictors than IQ for measuring aspects of success in life, especially in s...
Maja Pantic, Nicu Sebe, Jeffrey F. Cohn, Thomas S....
MOMM
2009
ACM
163views Communications» more  MOMM 2009»
14 years 1 months ago
Aspect-oriented modeling of adaptive web applications with HiLA
Modeling adaptivity is a challenging task for two reasons: 1) adaptation is usually strongly interwoven with the general functionality of the web application, separation of concer...
Gefei Zhang
FTDCS
1999
IEEE
14 years 1 months ago
From Remote Objects to Physically Distributed Objects
Present-day object-oriented middleware provides little support for the distribution, replication and caching of the state of a distributed object. This makes these platforms unsui...
Arno Bakker, Maarten van Steen, Andrew S. Tanenbau...