3239 search results - page 361 / 648 » A Logical Process Calculus |
142
click to vote
BIOCOMP
2007
15 years 5 months ago
2007
Abstract—This paper presents a stochastic modelling framework for complex biochemical reaction networks from a component-based perspective. Our approach takes into account the di...
152
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Autonomous agents transcend their individual capabilities by cooperating towards achieving shared goals. The different viewpoints agents have on the environment cause disagreement...
134
Voted
ENTCS
2007
15 years 4 months ago
2007
Recently the term Web Services choreography has been introduced to address some issues related to Web Services composition and coordination. Several proposals for describing chore...
133
click to vote
SCP
2008
15 years 4 months ago
2008
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...
151
click to vote
TCS
2008
15 years 4 months ago
2008
This article presents formalized intuitionistic proofs for the polyhedra genus theorem, the Euler formula and a sufficient condition of planarity. They are based on a hypermap mod...