Sciweavers

4348 search results - page 683 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
CALCO
2005
Springer
114views Mathematics» more  CALCO 2005»
16 years 4 hour ago
Towards a Coalgebraic Semantics of the Ambient Calculus
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
DEXA
2005
Springer
77views Database» more  DEXA 2005»
15 years 12 months ago
An Optimal Skew-insensitive Join and Multi-join Algorithm for Distributed Architectures
Abstract. The development of scalable parallel database systems requires the design of efficient algorithms for the join operation which is the most frequent and expensive operatio...
Mostafa Bamha
GLOBAL
2003
Springer
15 years 11 months ago
Performance Evaluation for Global Computation
Abstract. Global computing applications co-ordinate distributed computations across widely-dispersed hosts. Such systems present formidable design and implementation challenges to ...
Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Ja...
IBPRIA
2007
Springer
15 years 10 months ago
On-Line Classification of Human Activities
In this paper we address the problem of on-line recognition of human activities taking place in a public area such as a shopping center. We consider standard activities; namely, en...
Jacinto C. Nascimento, Mário A. T. Figueire...
SIGGRAPH
1995
ACM
15 years 10 months ago
Specializing shaders
We have developed a system for interactive manipulation of shading parameters for three dimensional rendering. The system takes as input user-defined shaders, written in a subset ...
Brian K. Guenter, Todd B. Knoblock, Erik Ruf