95 search results - page 8 / 19 » Simulation Preorder over Simple Process Algebras |
CORR
2004
Springer
13 years 7 months ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
VIS
2004
IEEE
14 years 8 months ago
2004
IEEE
Computational simulation of time-varying physical processes is of fundamental importance for many scientific and engineering applications. Most frequently, time-varying simulation...
ICANN
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Classification of structured data (i.e., data that are represented as graphs) is a topic of interest in the machine learning community. This paper presents a different,...
ICDCS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper is concerned with reducing communication costs when executing distributed user tasks in a sensor network. We take a service-oriented abstraction of sensor networks, whe...
ICFP
2009
ACM
14 years 8 months ago
2009
ACM
Functional programming languages ought to play a central role in mathematics education for middle schools (age range: 10?14). After all, functional programming is a form of algebr...