Sciweavers

664 search results - page 52 / 133
» Building continuous webbed models for system F
Sort
View
IFIP
2004
Springer
15 years 3 months ago
Behavioural Equivalences for Dynamic Web Data
Peer-to-peer systems, exchanging dynamic documents through Web services, are a simple and effective platform for data integration on the internet. Dynamic documents can contain b...
Sergio Maffeis, Philippa Gardner
ICAS
2009
IEEE
139views Robotics» more  ICAS 2009»
15 years 4 months ago
Predicting Web Server Crashes: A Case Study in Comparing Prediction Algorithms
Abstract—Traditionally, performance has been the most important metrics when evaluating a system. However, in the last decades industry and academia have been paying increasing a...
Javier Alonso, Jordi Torres, Ricard Gavaldà
JAMIA
2011
101views more  JAMIA 2011»
14 years 22 days ago
The military health system's personal health record pilot with Microsoft HealthVault and Google Health
Objective To design, build, implement, and evaluate a personal health record (PHR), tethered to the Military Health System, that leverages MicrosoftÒ HealthVault and GoogleÒ Hea...
Nhan V. Do, Rick Barnhill, Kimberly A. Heermann-Do...
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
15 years 4 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
DEXAW
2004
IEEE
152views Database» more  DEXAW 2004»
15 years 1 months ago
OntoEditor: A Web Tool for Manipulating Ontologies Stored in Database Servers
The Web is moving to a new generation in which machine-understandable processing is mandatory. In order to achieve this goal it is essential to define ontologies which enable the ...
Cláudio de Souza Baptista, Karine F. Vascon...