Sciweavers

1264 search results - page 182 / 253
» Designing Safe, Reliable Systems using Scade
Sort
View
ICSE
2005
IEEE-ACM
16 years 2 months ago
An architects guide to enterprise application integration with J2EE and .NET
Architects are faced with the problem of building enterprise scale information systems, with streamlined, automated internal business processes and web-enabled business functions,...
Ian Gorton, Anna Liu
DAC
2003
ACM
16 years 2 months ago
Automatic trace analysis for logic of constraints
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
EUROSYS
2009
ACM
15 years 11 months ago
Isolating web programs in modern browser architectures
Many of today’s web sites contain substantial amounts of client-side code, and consequently, they act more like programs than simple documents. This creates robustness and perfo...
Charles Reis, Steven D. Gribble
MHCI
2004
Springer
15 years 7 months ago
Interactive Positioning Based on Object Visibility
Abstract. In this paper we describe a new method and user interface for interactive positioning of a mobile device. The key element of this method is a questionanswer style dialogu...
Christian Kray, Gerd Kortuem
GLOBECOM
2007
IEEE
15 years 8 months ago
Perceptual Quality in P2P Multi-Source Video Streaming Policies
— This paper explores a key aspect of the problem of sending real-time video over the Internet using a P2P architecture. The main difficulty with such a system is the high dynam...
Héctor Cancela, Pablo Rodríguez-Bocc...