373 search results - page 48 / 75 » MARTE-based Design of a Multimedia Application and Formal An... |
ECMDAFA
2005
Springer
14 years 2 months ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
MM
2004
ACM
14 years 2 months ago
2004
ACM
Advanced human computer interaction requires automatic reading of human face in order to make the computer interact with human in the same way as human-to-human communication. We ...
IJCAI
2007
13 years 10 months ago
2007
Formal analysis of decentralized decision making has become a thriving research area in recent years, producing a number of multi-agent extensions of Markov decision processes. Wh...
PODC
2010
ACM
13 years 11 months ago
2010
ACM
The study of complex networks led to the belief that the connectivity of network nodes generally follows a Power-law distribution. In this work, we show that modeling large-scale ...
HPCA
2003
IEEE
14 years 9 months ago
2003
IEEE
Due to cost, time, and flexibility constraints, simulators are often used to explore the design space when developing a new processor architecture, as well as when evaluating the ...