3844 search results - page 327 / 769 » Modular interpreted systems |
149
click to vote
NORDICHI
2006
ACM
15 years 10 months ago
2006
ACM
This paper describes the design process of a modular system for supporting physical and cognitive rehabilitation in the swimming pool. In such an environment, the therapist is cal...
150
click to vote
RTCSA
1998
IEEE
15 years 9 months ago
1998
IEEE
Advances in the computer technology encouraged the avionics industry to replace the federated design of control units with an integrated suite of control modules that share the co...
154
click to vote
IANDC
2006
15 years 4 months ago
2006
We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a "time domain", and we model processes by "t...
157
click to vote
ER
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally s...
151
click to vote
ECCB
2008
IEEE
15 years 11 months ago
2008
IEEE
Motivation: Extracting functional information from protein–protein interactions (PPI) poses significant challenges arising from the noisy, incomplete, generic and static nature...