19342 search results - page 428 / 3869 » Decentralised Process Modelling |
184
Voted
GW
2003
Springer
16 years 24 days ago
2003
Springer
This paper presents some results of a research work concerning algorithms and computational models for real-time analysis of expressive gesture in full-body human movement. As a ma...
249
click to vote
CODES
2002
IEEE
16 years 16 days ago
2002
IEEE
In this paper we present a method to perform static timing analysis of SystemC models, that describe parallel, communicating software processes.The paper combines a worstcase exec...
218
Voted
ICNC
2009
Springer
16 years 5 days ago
2009
Springer
In this paper, product structure is taken as knowledge acquisition point, and the effective knowledge acquisition path is discussed by establishing the associated relationship bet...
214
click to vote
TACS
2001
Springer
16 years 13 hour ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
225
click to vote
HCW
1998
IEEE
15 years 12 months ago
1998
IEEE
Java's remote method invocation mechanism provides a number of features that extend the functionality of traditional client server-based distributed systems. However, there a...