2042 search results - page 88 / 409 » The Design and Implementation of a Semantic Service Mediatio... |
168
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
143
click to vote
ICDCSW
2006
IEEE
16 years 7 days ago
2006
IEEE
— Healthcare and economic drivers have increased the desire to deploy systems for continuous monitoring of patients, both in hospital and outpatient settings. Such systems must o...
146
click to vote
ICDE
2007
IEEE
16 years 15 days ago
2007
IEEE
Querying semantically related data sources depends on the ability to map between their schemas. Unfortunately, in most cases matching between schema is still largely performed man...
150
click to vote
IEEESCC
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
169
click to vote
HASE
2007
IEEE
16 years 13 days ago
2007
IEEE
Electric Power Systems (EPS) become more and more critical for our society, since they provide vital services for the human activities. At the same time, obtaining dependable beha...