3676 search results - page 163 / 736 » Scalable component abstractions |
95
Voted
APLAS
2007
ACM
15 years 2 months ago
2007
ACM
Abstract. Given the combinatorial nature of cellular signalling pathways, where biological agents can bind and modify each other in a large number of ways, concurrent or agent-base...
107
Voted
TIC
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
111
click to vote
JCM
2008
14 years 10 months ago
2008
In this paper, we present a new simulation platform for complex, radio standard spanning mobile Ad Hoc networks. SimANet - Simulation Platform for Ambient Networks - allows the coe...
111
Voted
AWPN
2008
14 years 11 months ago
2008
Abstract Petri nets are a formalism for describing systems where interactions between active components
ICSE
2009
IEEE-ACM
15 years 2 months ago
2009
IEEE-ACM
Based on a well-defined component architecture the tool supports the synthesis of so-called real-time statecharts from timed sequence diagrams. The two step synthesis process add...