6047 search results - page 1053 / 1210 » Modeling with Extend |
112
click to vote
IJCIM
2002
15 years 1 months ago
2002
This paper presents a new distributed real-time control architecture for flexibly automated production systems. The modelling assumptions underlying the design en by, and abstract,...
123
click to vote
ENTCS
1998
15 years 1 months ago
1998
Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes M.Z. Kwiatkowska and G.J. Norman School of Computer Science, University of Birmingham, Edgbaston, ...
145
click to vote
CN
1999
15 years 1 months ago
1999
Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of ...
118
click to vote
JCNS
2002
15 years 1 months ago
2002
Multielectrode arrays allow recording of the activity of many single neurons, from which correlations can be calculated. The functional roles of correlations can be revealed by mea...
123
click to vote
MONET
2002
15 years 1 months ago
2002
This paper addresses possible Distributed Denial-of-Service (DDoS) attacks toward the wireless Internet including the Wireless Extended Internet, the Wireless Portal Network, and t...