9387 search results - page 294 / 1878 » An Optimal Process Model for a Real Time Process |
136
click to vote
CMSB
2009
Springer
15 years 11 months ago
2009
Springer
Molecular noise, which arises from the randomness of the discrete events in the cell, significantly influences fundamental biological processes. Discrete-state continuous-time st...
143
Voted
BPSC
2010
15 years 4 months ago
2010
: The Internet of Services promotes distributable, composable and tradeable services as first-class entities. Such services are assumed to encompass the full range from electronic...
130
click to vote
SIGOPSE
1998
ACM
15 years 9 months ago
1998
ACM
The majority of work on protection in single-language mobile code environments focuses on information security issues and depends on the language environment for solutions to the ...
144
click to vote
ENTCS
2008
15 years 5 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
271
Voted
ACRI
2010
Springer
15 years 6 months ago
2010
Springer
A method of constructing asynchronous cellular automata (ACA model) as a parallel composition of two interacting ACA is presented. The resulting ACA is intended to simulate a proce...