451 search results - page 68 / 91 » P Systems and Topology: Some Suggestions for Research |
113
click to vote
SOFSEM
2012
Springer
13 years 7 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
116
click to vote
ITS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We discuss the motivation for a novel style of tutorial dialogue system that emphasizes reflection in a design context. Our current research focuses on the hypothesis tha...
126
click to vote
GECCO
2006
Springer
15 years 3 months ago
2006
Springer
In this paper we address the problem of finding gene regulatory networks from experimental DNA microarray data. We focus on the evaluation of the performance of different mathemat...
CASCON
1996
15 years 1 months ago
1996
Developing and managing applications for environments consisting of independently con gured computing systems interoperating acrossnetwork connections is of considerable interest ...
106
click to vote
CLOUDCOM
2010
Springer
14 years 9 months ago
2010
Springer
Eucalyptus, OpenNebula and Nimbus are three major open-source cloud-computing software platforms. The overall function of these systems is to manage the provisioning of virtual ma...