27756 search results - page 5193 / 5552 » Process Query Systems |
133
Voted
ASE
2008
15 years 4 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
147
click to vote
ASE
2008
15 years 4 months ago
2008
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
160
click to vote
AUTOMATICA
2007
15 years 4 months ago
2007
In this work we present a methodology for intelligent path planning in an uncertain environment using vision like sensors, i.e., sensors that allow the sensing of the environment ...
124
click to vote
BIOSYSTEMS
2008
15 years 4 months ago
2008
We propose conditions in which an autonomous agent could arise, and increase in complexity. It is assumed that on the primitive Earth there arose a recycling flow-reactor containi...
123
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: GenBank flatfile (GBF) format is one of the most popular sequence file formats because of its detailed sequence features and ease of readability. To use the data in th...