Sciweavers

7397 search results - page 1009 / 1480
» Processes Are Data: A Programming Model for Distributed Appl...
Sort
View
BIRTHDAY
2010
Springer
15 years 5 months ago
The Architecture Description Language MoDeL
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
Peter Klein
PASTE
2005
ACM
16 years 12 days ago
Generalizing symbolic execution to library classes
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
Sarfraz Khurshid, Yuk Lai Suen
WIESS
2000
15 years 8 months ago
Operational Information Systems: An Example from the Airline Industry
Our research is motivated by the scaleability, availability, and extensibility challenges in deploying open systems based, enterprise operational applications. We present Delta�...
Van Oleson, Karsten Schwan, Greg Eisenhauer, Beth ...
HPCC
2007
Springer
16 years 1 months ago
A Fast Disaster Recovery Mechanism for Volume Replication Systems
Disaster recovery solutions have gained popularity in the past few years because of their ability to tolerate disasters and to achieve the reliability and availability. Data replic...
Yanlong Wang, Zhanhuai Li, Wei Lin
ICIP
2001
IEEE
16 years 8 months ago
Scene boundary detection via video self-similarity analysis
In this paper, we present a novel framework for analyzing video using self-similarity. Video scenes are located by analyzing inter-frame similarity matrices. The approach is flexi...
Matthew L. Cooper, Jonathan Foote
« Prev « First page 1009 / 1480 Last » Next »