5456 search results - page 616 / 1092 » A study of Object Evolution |
195
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper examines several techniques for static timing analysis. In detail, the first part of the paper analyzes the connection of prediction accuracy (worst case execution tim...
323
click to vote
ACMMPC
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. These notes deal with an interconnecting web of mathematical techniques all of which deserve a place in the armoury of the welleducated computer scientist. The objective ...
169
click to vote
IDMS
1998
Springer
15 years 11 months ago
1998
Springer
This paper discusses the application of TINA concepts, architectures and related design paradigms in the MESH project. MESH adopted TINA as a means to facilitate the design and imp...
198
click to vote
ZUM
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
157
click to vote
GW
2007
Springer
15 years 10 months ago
2007
Springer
The study of sign languages attempts to create a coherent model that binds the expressive nature of signs conveyed in gestures to a linguistic framework. Gesture modelling offers a...