6438 search results - page 7 / 1288 » A Parameterised Search System |
CAISE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. There is an increasing need to provide methods for describing information systems which incorporate the integrated use of multiple channels of interaction. To achieve thi...
CMSB
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
DSVIS
2008
Springer
13 years 10 months ago
2008
Springer
This paper presents an approach for representing, and providing computer support for, the configuration of interactive systems, particularly ubiquitous systems, that offers a flexi...
FORTE
1997
13 years 10 months ago
1997
This paper presents a testing theory that is parameterised with assumptions about the way implementations communicate with their environment. In this way some existing testing the...
IPMI
1993
Springer
14 years 19 days ago
1993
Springer
Thispaperdescribesatechniqueforbuildingcompactmodelsoftheshapeandappearance offlexibleobjects(suchasorgans)seenin2-Dimages. Themodelsarederivedfromthestatisticsof setsof labelled i...