3729 search results - page 550 / 746 » On Formal Modeling of Agent Computations |
250
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Intrinsic fluctuations due to the stochastic nature of biochemical reactions can have large effects on the response of biochemical networks. This is particularly true ...
153
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
159
click to vote
KBSE
2007
IEEE
16 years 24 days ago
2007
IEEE
Modularity is one of the most important properties of a software design, with significant impact on changeability and evolvability. However, a formalized and automated approach i...
144
click to vote
FCT
2007
Springer
16 years 20 days ago
2007
Springer
In most mainstream object-oriented languages, the object initialization protocol is based on constructors, where different constructors of the same class are, in fact, overloaded ...
164
click to vote
IPSN
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents an approach for dynamic software reconfiguration in sensor networks. Our approach utilizes explicit models of the design space of the embedded application. The...