1304 search results - page 172 / 261 » Model Checking C Programs Using F-SOFT |
165
Voted
EVOW
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The Berth Allocation Problem (BAP) consists on programming and allocating ships to berthing areas along a quay. The BAP is modeled as a vehicle routing problem and a rece...
119
click to vote
ITICSE
2006
ACM
15 years 9 months ago
2006
ACM
Adaptive explanatory visualization is an attempt to integrate two promising approaches to program visualization: adaptive visualization and explanatory visualization. The goal of ...
118
Voted
WRAC
2005
Springer
15 years 9 months ago
2005
Springer
A classic autonomous robot is an autonomous agent for open, unpredictable environments. Such an agent is inherently autonomous but not independent. Independence implies unpredictab...
131
click to vote
LION
2009
Springer
15 years 10 months ago
2009
Springer
We present a new knowledge-based Model Quality Assessment Program (MQAP) at the residue level which evaluates single protein structure models. We use a tree representation of the ...
130
click to vote
LR
2011
14 years 6 months ago
2011
Abstract Communities of autonomous units are devices for the visual modeling of interactive logistic processes. The framework is founded on rule-based graph transformation and allo...