365 search results - page 39 / 73 » Liveness in Timed and Untimed Systems |
VAMOS
2010
Springer
13 years 11 months ago
2010
Springer
During product configuration, users are prone to make errors because of complexity and lack of system knowledge. Such errors cause conflicts (i.e., incompatible choices selected) a...
IEEECIT
2009
IEEE
14 years 4 months ago
2009
IEEE
—Ageing populations and the necessity to reduce environmental impact raise new challenges on our living buildings. Convergence of home control systems (air conditioning, light ma...
BMCBI
2007
13 years 10 months ago
2007
Background: Modelling of time series data should not be an approximation of input data profiles, but rather be able to detect and evaluate dynamical changes in the time series dat...
CBMS
2001
IEEE
14 years 1 months ago
2001
IEEE
This paper presents an Internet-Based Medical Archive System, thus called IBMAS. IBMAS is a prototype system of a proposed paradigm of research aiming at building up a distributed...
USENIX
2008
14 years 6 days ago
2008
Evaluating novel networked protocols and services requires subjecting the target system to realistic Internet conditions. However, there is no common understanding of what is requ...