3239 search results - page 643 / 648 » A Logical Process Calculus |
ENVSOFT
2007
15 years 11 days ago
2007
: Integrated environmental resources management is a purposeful activity with the goal to maintain and improve the state of an environmental resource affected by human activities. ...
102
click to vote
NETWORK
2008
15 years 11 days ago
2008
Although small mobile computers have processors whose capabilities are increasing, often they still are resource constrained in terms of performing many common computing tasks. Co...
136
click to vote
SIGMETRICS
2008
ACM
15 years 10 days ago
2008
ACM
Memory trace analysis is an important technology for architecture research, system software (i.e., OS, compiler) optimization, and application performance improvements. Many appro...
143
click to vote
TASE
2008
IEEE
15 years 9 days ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
109
click to vote
BMCBI
2005
15 years 9 days ago
2005
: One of the most evident achievements of bioinformatics is the development of methods that transfer biological knowledge from characterised proteins to uncharacterised sequences. ...