1884 search results - page 312 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
MODELS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
MODELS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper describes our experiences in defining the processes associated with preparing and administrating chemotherapy and then using those process definitions as the b...
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
ABSTRACT. Risks associated with change in technology standards and uncertainty over the sharing of costs and benefits among trading partners impede interorganizational information ...
IROS
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— Many environmental applications require high frequency, spatiotemporally distributed phenomena to be sampled with high fidelity. This requires mobile sensing elements ...
EUC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Pyroelectric sensors can detect changes of infrared rays. Usually, typical pyroelectric sensors are the digital output type, used for lighting switches and security syste...