41938 search results - page 8086 / 8388 » Complex Systems Modeling |
173
click to vote
TOPNOC
2008
15 years 6 months ago
2008
Abstract. In a seminal paper, McMillan proposed a technique for constructing a finite complete prefix of the unfolding of bounded (i.e., finitestate) Petri nets, which can be used ...
195
click to vote
TOSEM
2008
15 years 6 months ago
2008
e than previously established, appearing at various levels of abstraction, in diverse systems and languages. The implications of this phenomenon cover various aspects of software e...
175
click to vote
CG
2005
Springer
15 years 6 months ago
2005
Springer
In Chinese calligraphy cao shu is regarded as a kind of free form art which differs from other styles greatly in its less constrained strokes and brush textures. In this paper we ...
204
click to vote
TPDS
2008
15 years 6 months ago
2008
Security is increasingly becoming an important issue in the design of real-time parallel applications, which are widely used in the industry and academic organizations. However, ex...
150
click to vote
TRANSCI
2008
15 years 6 months ago
2008
The availability of relatively cheap small jet aircrafts suggests a new air transportation business: dial-a-flight, an on-demand service in which travelers call a few days in adva...