Sciweavers

285 search results - page 39 / 57
» Generation of Architectural Documentation Using XML
Sort
View
ACSC
2004
IEEE
13 years 11 months ago
A RMI Protocol for Aglets
Aglets is a mobile agent system that allows an agent to move with its code and execution state across the network to interact with other entities. Aglets utilizes Java RMI to supp...
Feng Lu, Kris Bubendorfer
MEDINFO
2007
134views Healthcare» more  MEDINFO 2007»
13 years 9 months ago
Framework for Clinical Data Standardization Based on Archetypes
Standardization of data is a prerequisite to achieve semantic interoperability in any domain. This is even more important in the healthcare sector where the need for exchanging he...
José Alberto Maldonado, David Moner, Diego ...
ICFEM
2004
Springer
14 years 1 months ago
Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs
d Abstract) Carsten Sinz and Wolfgang K¨uchlin Symbolic Computation Group, WSI for Computer Science, University of T¨ubingen and Steinbeis Technology Transfer Center OIT, 72076 T...
Carsten Sinz, Wolfgang Küchlin
ATVA
2008
Springer
90views Hardware» more  ATVA 2008»
13 years 9 months ago
Tree Pattern Rewriting Systems
Classical verification often uses abstraction when dealing with data. On the other hand, dynamic XML-based applications have become pervasive, for instance with the ever growing im...
Blaise Genest, Anca Muscholl, Olivier Serre, Marc ...
EDBT
2004
ACM
183views Database» more  EDBT 2004»
14 years 7 months ago
XQBE: A Graphical Interface for XQuery Engines
XQuery is increasingly popular among computer scientists with a SQL background, since queries in XQuery and SQL require comparable skills to be formulated. However, the number of ...
Daniele Braga, Alessandro Campi, Stefano Ceri