3994 search results - page 695 / 799 » A Linear Logical Framework |
159
click to vote
PADS
2005
ACM
16 years 11 days 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...
185
click to vote
CONTEXT
2005
Springer
16 years 10 days 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...
172
click to vote
FMCO
2005
Springer
16 years 10 days 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...
194
click to vote
FOSSACS
2005
Springer
16 years 10 days 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...
159
click to vote
LADC
2005
Springer
16 years 9 days 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, ...