683 search results - page 97 / 137 » Modelling Evolvable Systems: A Temporal Logic View |
116
click to vote
ICIP
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper, we present an image-based method for the tracking and rendering of faces. We use the algorithm in an immersive video conferencing system where multiple participants...
189
click to vote
LICS
2003
IEEE
15 years 7 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
143
click to vote
TABLEAUX
1998
Springer
15 years 6 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
136
click to vote
IJCSA
2006
15 years 1 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
119
click to vote
VVEIS
2007
15 years 3 months ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...