Sciweavers

6800 search results - page 1110 / 1360
» Testing with Functions as Specifications
Sort
View
IPPS
2005
IEEE
15 years 10 months ago
MOCCA - Towards a Distributed CCA Framework for Metacomputing
— We describe the design and implementation of MOCCA, a distributed CCA framework implemented using the H2O metacomputing system. Motivated by the quest for appropriate metasyste...
Maciej Malawski, Dawid Kurzyniec, Vaidy S. Sundera...
137
Voted
NCA
2005
IEEE
15 years 10 months ago
Using Residual Times to Meet Deadlines in M/G/C Queues
In systems where customer service demands are only known probabilistically, there is very little to distinguish between jobs. Therefore, no universal optimum scheduling strategy o...
Sarah Tasneem, Lester Lipsky, Reda A. Ammar, Howar...
QSIC
2005
IEEE
15 years 10 months ago
Runtime Validation of Behavioural Contracts for Component Software
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...
Yan Jin, Jun Han
161
Voted
WETICE
2005
IEEE
15 years 10 months ago
Challenges and Solutions for Model Driven Web Service Composition
System theory propagates the use of models which e level of abstraction to cope with complexity, evolving out of variety and connectivity. Different modeling techniques have been ...
Konrad Pfadenhauer, Burkhard Kittl, Schahram Dustd...
MM
2005
ACM
154views Multimedia» more  MM 2005»
15 years 10 months ago
Determining structure in continuously recorded videos
In this paper, we present a scene detection framework on continuously recorded videos. Conventional temporal scene segmentation methods work for the videos composed of discrete sh...
Yun Zhai, Mubarak Shah
« Prev « First page 1110 / 1360 Last » Next »