Sciweavers

11374 search results - page 205 / 2275
» A System Demonstration of ST-TCP
Sort
View
ICDE
2006
IEEE
126views Database» more  ICDE 2006»
16 years 7 months ago
Enabling Query Processing on Spatial Networks
A system that enables real time query processing on large spatial networks is demonstrated. The system provides functionality for processing a wide range of spatial queries such a...
Jagan Sankaranarayanan, Houman Alborzi, Hanan Same...
SCS
2003
15 years 7 months ago
A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments
The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Syst...
Rob Weaver, Jane Fenn, Tim Kelly
SMC
2007
IEEE
111views Control Systems» more  SMC 2007»
16 years 24 days ago
Healthcare IT as a source of resilience
—Healthcare information technology (IT) systems can be used to inform workers and managers about changes to workplace vulnerabilities and new means that may be available to meet ...
Christopher P. Nemeth, Richard I. Cook
TIC
2000
Springer
174views System Software» more  TIC 2000»
15 years 10 months ago
Alias Types for Recursive Data Structures
Linear type systems permit programmers to deallocate or explicitly recycle memory, but they are severly restricted by the fact that they admit no aliasing. This paper describes a ...
David Walker, J. Gregory Morrisett
ICSE
2004
IEEE-ACM
16 years 6 months ago
Using Web Service Technologies to Create an Information Broker: An Experience Report
This paper reports on our experiences with using the emerging web service technologies and tools to create a demonstration information broker system as part of our research into i...
Mark Turner, Fujun Zhu, Ioannis A. Kotsiopoulos, M...