824 search results - page 31 / 165 » Model-Based Monitoring of Dynamic Systems |
79
Voted
EWSA
2004
Springer
15 years 3 months ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
SERVICES
2010
14 years 11 months ago
2010
This paper presents a novel architecture that brings together Information Extraction (IE) with Event Processing (EP) research areas to globally monitor human activities and biodive...
ICCS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The proliferation of sensor networks in various areas of technology has enabled real-time behavioral monitoring of various physical systems in various length and time sca...
SMARTNET
2000
14 years 11 months ago
2000
During the recent years of research on mobile agents, significant effort has been directed towards the identification of models of agent mobility suitable for network management a...
CASCON
2007
14 years 11 months ago
2007
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...