Sciweavers

2184 search results - page 64 / 437
» Modeling and Realizing Interoperability
Sort
View
MEDINFO
2007
13 years 10 months ago
An Ontology-based Model of Clinical Information
In this paper we describe a model of clinical information designed to make health information systems properly interoperable and safely computable. The model is a response to a nu...
Thomas Beale, Sam Heard
EEE
2005
IEEE
14 years 2 months ago
Towards Access Control for Visual Web Model Management
With the advance of E-Commerce over Web-based information, the interoperability of isolated XML repositories and databases over the Internet has drawn an increasing interest recen...
Guang-Lei Song, Kang Zhang, Bhavani M. Thuraisingh...
ACSD
2001
IEEE
83views Hardware» more  ACSD 2001»
14 years 18 days ago
Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace struc...
Jerry R. Burch, Roberto Passerone, Alberto L. Sang...
EUSAI
2003
Springer
14 years 2 months ago
User Mobility Model in an Active Office
User mobility in an Active Office represents human activity in a context awareness and ambient intelligent environment. This paper describes user mobility by detecting their changi...
Teddy Mantoro, Chris Johnson
DATE
2010
IEEE
176views Hardware» more  DATE 2010»
14 years 2 months ago
Timing modeling and analysis for AUTOSAR-based software development - a case study
—Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSARbased l...
Kay Klobedanz, Christoph Kuznik, Andreas Thuy, Wol...