Sciweavers

394 search results - page 23 / 79
» Composing Specifications
Sort
View
ISN
2000
Springer
158views Communications» more  ISN 2000»
14 years 1 months ago
Load Balancing for a Distributed CORBA-Based SCP
This paper examines load balancing issues relating to a distributed CORBA-based Service Control Point. Two types of load balancing strategies are explored through simulation studie...
Conor McArdle, Niklas Widell, Christian Nyberg, Er...
ICONIP
2008
13 years 11 months ago
An Integrated System for Incremental Learning of Multiple Visual Categories
Abstract. We present a biologically inspired vision system able to incrementally learn multiple visual categories by interactively presenting several hand-held objects. The overall...
Stephan Kirstein, Heiko Wersing, Horst-Michael Gro...
CODES
1998
IEEE
14 years 2 months ago
Hardware/software co-design of an ATM network interface card: a case study
This paper discusses a case study, the co-design of an ATM Network Interface Card (NIC). The NIC is aimed to interface applications with the physical network line. It is composed ...
Jean-Marc Daveau, Gilberto Fernandes Marchioro, Ah...
EMSOFT
2008
Springer
13 years 12 months ago
RTComposer: a framework for real-time components with scheduling interfaces
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...
Rajeev Alur, Gera Weiss
TOOLS
2000
IEEE
14 years 2 months ago
Testing-for-Trust: The Genetic Selection Model Applied to Component Qualification
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
Benoit Baudry, Vu Le Hanh, Yves Le Traon