Sciweavers

1528 search results - page 105 / 306

» Object-Oriented Software Composition

16

FATES
2003
Springer

77views Software Engineering» more FATES 2003»

Compositional Testing with ioco

14 years 1 months ago

Compositional Testing with ioco

Download wwwhome.cs.utwente.nl

Machiel van der Bijl, Arend Rensink, Jan Tretmans

claim paper

Read More »

16

ICFEM
2003
Springer

102views Software Engineering» more ICFEM 2003»

Compositional Verification of a Switch Fabric from Nortel Networks

14 years 1 months ago

Compositional Verification of a Switch Fabric from Nortel Networks

Download users.encs.concordia.ca

Hong Peng, Sofiène Tahar, Yassine Mokhtari

claim paper

Read More »

23

CODES
2009
IEEE

142views Software Engineering» more CODES 2009»

A compositional modelling framework for exploring MPSoC systems

14 years 18 days ago

A compositional modelling framework for exploring MPSoC systems

Download dogbert.eng.umd.edu

Anders Sejer Tranberg-Hansen, Jan Madsen

claim paper

Read More »

29

EDOC
2009
IEEE

123views Distributed And Parallel Com...» more EDOC 2009»

An End-to-End Approach for QoS-Aware Service Composition

14 years 2 months ago

An End-to-End Approach for QoS-Aware Service Composition

Download www.infosys.tuwien.ac.at

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...

claim paper

Read More »

24

UIST
1998
ACM

106views Software Engineering» more UIST 1998»

Integrating Pen Operations for Composition by Example

14 years 3 days ago

Integrating Pen Operations for Composition by Example

Download pitecan.com

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

claim paper

Read More »

« Prev « First page 105 / 306 Last » Next »