3994 search results - page 695 / 799 » A Linear Logical Framework |
123
click to vote
PADS
2005
ACM
15 years 10 months ago
2005
ACM
Parallel and distributed simulations enable the analysis of complex systems by concurrently exploiting the aggregate computation power and memory of clusters of execution units. I...
135
click to vote
CONTEXT
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper argues that the driving task exhibits the properties of complex systems. Driving behavior emerges from the intricate and complex interactions between the drive...
133
click to vote
FMCO
2005
Springer
15 years 10 months ago
2005
Springer
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
141
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
117
click to vote
LADC
2005
Springer
15 years 10 months ago
2005
Springer
We present a framework for building fail-safe hard real-time applications in timed asynchronous distributed systems subject to communication partitions and performance, omission, ...