Sciweavers

2972 search results - page 209 / 595
» The generic information extraction system
Sort
View
IADIS
2003
15 years 7 months ago
A Web-Based Collaboration System for Geographically Distributed Medical Professionals
This paper is about a web-based system for collaboration and sharing of information among medical professionals. The system, originally targeted for ophthalmologists, has a generi...
Tatjana M. Burkow, Kristian Fossen, Line Lundvoll ...
DSN
2007
IEEE
16 years 15 days ago
A Tunable Add-On Diagnostic Protocol for Time-Triggered Systems
We present a tunable diagnostic protocol for generic time-triggered (TT) systems to detect crash and send/receive omission faults. Compared to existing diagnostic and membership p...
Marco Serafini, Neeraj Suri, Jonny Vinter, Astrit ...
IEEESCC
2007
IEEE
16 years 14 days ago
Composing Integrated Systems Using GUI-Based Applications And Web Services
— Integrated systems are composed of components that exchange information (i.e., interoperate [5]). These components include Graphical User Interface (GUI) APplications (GAPs) an...
Mark Grechanik, Kevin M. Conroy
147
Voted
MATA
2004
Springer
115views Communications» more  MATA 2004»
15 years 11 months ago
AgentViz: A Visualization System for Mobile Agents
Although inexpensive, high performance computer graphics hardware has become commonly available, its application in the mobile agent and networking fields has thus far been limite...
Ken Deeter, Son T. Vuong
ITP
2010
172views Mathematics» more  ITP 2010»
15 years 4 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...