Sciweavers

196 search results - page 34 / 40
» Extension of SMIL with QoS Control and its Implementation
Sort
View
IJVR
2007
171views more  IJVR 2007»
13 years 8 months ago
Real Time Rendering and Animation of Virtual Characters
—In this paper, we focus on the different aspects of real time visualization and animation of realistic virtual characters. The common goal for our research was to come up with s...
Yvonne Jung, Christian Knöpfle
SIGCSE
2002
ACM
126views Education» more  SIGCSE 2002»
13 years 8 months ago
Design patterns for games
Designing a two-person game involves identifying the game model to compute the best moves, the user interface (the "view") to play the game, and the controller to coordi...
Dung Zung Nguyen, Stephen B. Wong
SPIN
2010
Springer
13 years 6 months ago
Analysing Mu-Calculus Properties of Pushdown Systems
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
Matthew Hague, C.-H. Luke Ong
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
14 years 2 months ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
RAID
2004
Springer
14 years 1 months ago
On the Design and Use of Internet Sinks for Network Abuse Monitoring
Abstract. Monitoring unused or dark IP addresses offers opportunities to significantly improve and expand knowledge of abuse activity without many of the problems associated with ...
Vinod Yegneswaran, Paul Barford, David Plonka