9730 search results - page 178 / 1946 » Relating models of backtracking |
125
click to vote
CC
2001
Springer
15 years 8 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
126
click to vote
IJCAT
2010
15 years 2 months ago
2010
: This paper explores the vast domain of systematic collaborative engineering with reference to product lifecycle management approach from the angle of feature-level collaboration ...
122
click to vote
ALIFE
2007
15 years 4 months ago
2007
Robert Rosen’s central theorem states that organisms are fundamentally different to machines, mainly because they are ‘‘closed with respect to effcient causation.’’ The p...
133
click to vote
DEXA
2000
Springer
15 years 8 months ago
2000
Springer
The relational model, as proposed by Codd, contained the concept of relations as tables composed of tuples of single valued attributes taken from a domain. In most of the early lit...
120
click to vote
WSC
2004
15 years 5 months ago
2004
This paper discusses validation and verification of simulation models. The different approaches to deciding model validity are presented; how model validation and verification rel...