Sciweavers

1528 search results - page 105 / 306
» Object-Oriented Software Composition
Sort
View
FATES
2003
Springer
15 years 3 months ago
Compositional Testing with ioco
Machiel van der Bijl, Arend Rensink, Jan Tretmans
ICFEM
2003
Springer
15 years 3 months ago
Compositional Verification of a Switch Fabric from Nortel Networks
Hong Peng, Sofiène Tahar, Yassine Mokhtari
CODES
2009
IEEE
15 years 2 months ago
A compositional modelling framework for exploring MPSoC systems
Anders Sejer Tranberg-Hansen, Jan Madsen
EDOC
2009
IEEE
15 years 4 months ago
An End-to-End Approach for QoS-Aware Service Composition
Abstract—A simple and effective composition of software services into higher-level composite services is still a very challenging task. Especially in enterprise environments, Qua...
Florian Rosenberg, Predrag Celikovic, Anton Michlm...
UIST
1998
ACM
15 years 2 months ago
Integrating Pen Operations for Composition by Example
We propose a new pen-based text input method, which is an integration of software keyboards, handwriting recognition, and marking menus. With our method, a user selects a word fro...
Toshiyuki Masui