Sciweavers

8068 search results - page 516 / 1614
» Java Data Objects
Sort
View
MMM
2005
Springer
136views Multimedia» more  MMM 2005»
16 years 3 days ago
Gigabit Ethernet-Based Parallel Video Processing
This paper describes solutions for parallel video processing based on LAN-connected PC-like workstations. We outline application scenarios for the processing of video with broadca...
Horst Eidenberger
TLDI
2005
ACM
126views Formal Methods» more  TLDI 2005»
16 years 2 days ago
Type inference for atomicity
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
Cormac Flanagan, Stephen N. Freund, Marina Lifshin
ECLIPSE
2004
ACM
15 years 12 months ago
Advanced widgets for Eclipse
Information Visualization Toolkits are often in the form of applications or complex frameworks and do not integrate into existing applications very easily. In this paper we introd...
R. Ian Bull, Casey Best, Margaret-Anne D. Storey
ATAL
2004
Springer
15 years 12 months ago
Self-Protected Mobile Agents
In this paper, we present a new solution for the implementation of flexible protection mechanisms in the context of mobile agent systems, where security problems are currently a ...
Joan Ametller, Sergi Robles, Jose A. Ortega-Ruiz
ICEIS
2003
IEEE
15 years 11 months ago
An XML View of the "World"
Abstract: The paper presents ”Any Input XML Output” (AIXO), a general and flexible software architecture for wrappers. The architecture has been designed to present data sourc...
Ezio Bartocci, Emanuela Merelli, Leonardo Mariani