4586 search results - page 481 / 918 » Computing stable models in parallel |
258
click to vote
CLADE
2008
IEEE
16 years 1 months ago
2008
IEEE
With the exponential growth of complete genome sequences, the analysis of these sequences is becoming a powerful approach to build genome-scale metabolic models. These models can ...
177
click to vote
CONCUR
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
147
click to vote
EDOC
2006
IEEE
16 years 26 days ago
2006
IEEE
At present, with the expansion of information technologies at the industry, it is vital to implant proactive, self-managed systems that ensure continuous operation and, therefore,...
192
click to vote
EDOC
2003
IEEE
16 years 2 days ago
2003
IEEE
The MOF Query, View and Transformation RFP, issued by OMG will result in a key enabling technology for modeldriven development of large distributed systems. We have designed a tra...
172
click to vote
EUROPAR
2003
Springer
16 years 11 hour ago
2003
Springer
The software architecture of distributed systems is about to change due to new requirements of modern mobile devices. New network techniques, like ad-hoc radio communication or pee...