Sciweavers

2917 search results - page 455 / 584
» Satisfying Interaction Constraints
Sort
View
CBSE
2005
Springer
15 years 10 months ago
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
Zonghua Gu, Zhimin He
ICNC
2005
Springer
15 years 10 months ago
Modeling Belief, Capability and Promise for Cognitive Agents - A Modal Logic Approach
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...
Xinyu Zhao, Zuoquan Lin
APLAS
2004
ACM
15 years 10 months ago
Network Fusion
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...
Pascal Fradet, Stéphane Hong Tuan Ha
IUI
2004
ACM
15 years 10 months ago
Flexible re-engineering of web sites
Re-engineering transforms a final user interface into a logical representation that is manipulable enough to allow forward engineering to port a UI from one computing platform to ...
Laurent Bouillon, Jean Vanderdonckt, Kwok Chieu Ch...
NORDICHI
2004
ACM
15 years 10 months ago
Breaking affordance: culture as context
The concept of affordance as it applies to user interface design is widely used and accepted; possibly overused. This paper explores one of the constraints on affordance: culture....
Lidia Oshlyansky, Harold W. Thimbleby, Paul A. Cai...