1336 search results - page 102 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
105
Voted
WSC
2004
15 years 5 months ago
2004
This paper illustrates the use of simulation for evaluating and analyzing air cargo operations at one of the new stateof-the art cargo facilities at Toronto Pearson Airport. The e...
145
click to vote
ICST
2009
IEEE
15 years 1 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
114
Voted
ICRA
2000
IEEE
15 years 8 months ago
2000
IEEE
We describe a novel system for robotic measurement of contact sounds. This system is well suited for acquiring impulse-response sound models. A brief explanation of the sound mode...
117
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
124
Voted
RTCSA
1999
IEEE
15 years 7 months ago
1999
IEEE
Abstract. We present an approach to static priority preemptive process scheduling for the synthesis of hard realtime distributed embedded systems where communication plays an impor...