1728 search results - page 160 / 346 » Formal Modeling of Process Migration |
114
click to vote
JSW
2007
15 years 3 months ago
2007
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...
197
click to vote
ICDE
2007
IEEE
16 years 4 months ago
2007
IEEE
Database performance can be greatly affected by environmental and internal dynamics such as workloads and system configurations. Existing strategies to maintain performance under ...
133
click to vote
WACV
2007
IEEE
15 years 9 months ago
2007
IEEE
Motion detection and estimation is a first step in the much larger framework of attending to visual motion based on Selective Tuning Model of Visual Attention [1]. In order to be ...
119
click to vote
FM
1999
Springer
15 years 7 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
133
click to vote
UAIS
2002
15 years 2 months ago
2002
Abstract. This paper proposes a new effective strategy for designing and implementing interactive systems overcoming culture, skill and situation hurdles in HumanComputer Interacti...