1412 search results - page 165 / 283 » Experience Prototyping |
CAV
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
APL
1993
ACM
14 years 11 days ago
1993
ACM
This paper describes the design of a hybrid language which combines the features of an array processing language and lisp dialect in a consistent and useful manner. This language,...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
Monitoring patients in intensive care units is a critical task. Simple condition detection is generally insufficient to diagnose a patient and may generate many false alarms to the...
INFSOF
2006
13 years 8 months ago
2006
Web services are used for developing and integrating highly distributed and heterogeneous systems in different domains such as e-business, grid services, and e-government systems....
DT
2002
13 years 8 months ago
2002
This article presents an in-circuit emulation (ICE) module that can be embedded with a microprocessr core. The ICE module, based on the IEEE 1149.1 JTAG architecture, supports typ...