Sciweavers

17082 search results - page 3269 / 3417
» Abstractions for Mobile Computation
Sort
View
GI
2009
Springer
15 years 7 months ago
Modellierung variantenreicher Funktionsnetze im Automotive Software Engineering
Abstract: Funktionsnetze geh¨oren w¨ahrend des Systementwurfs im modellgetriebenen Top-Down-Entwicklungsprozess von Fahrzeugsoftware zu den ersten Artefakten; sie werden aus den ...
Cem Mengi, Antonio Navarro Perez, Christian Fu&szl...
AIIDE
2007
15 years 6 months ago
Personality-based Adaptation for Teamwork in Game Agents
This paper presents a novel learning framework to provide computer game agents the ability to adapt to the player as well as other game agents. Our technique generally involves a ...
Chek Tien Tan, Ho-Lun Cheng
NSDI
2007
15 years 6 months ago
Ricochet: Lateral Error Correction for Time-Critical Multicast
Ricochet is a low-latency reliable multicast protocol designed for time-critical clustered applications. It uses IP Multicast to transmit data and recovers from packet loss in end...
Mahesh Balakrishnan, Kenneth P. Birman, Amar Phani...
ACIVS
2008
Springer
15 years 6 months ago
Motion Recovery for Uncalibrated Turntable Sequences Using Silhouettes and a Single Point
Abstract. This paper addresses the problem of self-calibration and motion recovery for turntable sequences. Previous works exploited silhouette correspondences induced by epipolar ...
Hui Zhang, Ling Shao, Kwan-Yee Kenneth Wong
ASM
2008
ASM
15 years 6 months ago
A First Attempt to Express KAOS Refinement Patterns with Event B
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
Abderrahman Matoussi, Frédéric Gerva...
« Prev « First page 3269 / 3417 Last » Next »