Sciweavers

1703 search results - page 219 / 341
» Model interoperability via Model Driven Development
Sort
View
135
Voted
OIR
2008
94views more  OIR 2008»
15 years 5 months ago
Towards an architecture for open archive networks in agricultural sciences and technology
The AGRIS Network is an international initiative based on a collaborative network of institutions, whose aim is to promote free access to information on science and technology in a...
Imma Subirats, Irene Onyancha, Gauri Salokhe, Stef...
172
Voted
TPHOL
1998
IEEE
15 years 9 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
MEDINFO
2007
157views Healthcare» more  MEDINFO 2007»
15 years 6 months ago
EHR Query Language (EQL) - A Query Language for Archetype-Based Health Records
OpenEHR specifications have been developed to standardise the representation of an international electronic health record (EHR). The language used for querying EHR data is not as ...
Chunlan Ma, Heath K. Frankel, Thomas Beale, Sam He...
ICSE
2007
IEEE-ACM
16 years 5 months ago
A Perspective on the Future of Middleware-based Software Engineering
Middleware is a software layer that stands between the networked operating system and the application and provides well known reusable solutions to frequently encountered problems...
Mauro Caporuscio, Nikolaos Georgantas, Valé...
WORDS
2005
IEEE
15 years 10 months ago
Progressive Ranking and Composition of Web Services Using Covering Arrays
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...
Charles J. Colbourn, Yinong Chen, Wei-Tek Tsai