9730 search results - page 362 / 1946 » Relating models of backtracking |
157
click to vote
IEEECIT
2005
IEEE
15 years 12 months ago
2005
IEEE
Context is a key factor in making make access control decision in modern information system. But a formal context model is needed to guide research of implementation of Context-se...
165
click to vote
ESOP
2005
Springer
15 years 11 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
134
click to vote
RE
2005
Springer
15 years 11 months ago
2005
Springer
The importance of assumptions in Requirements Engineering has long been recognised. However, to the best of our knowledge, no quantitative models for the relation between assumpti...
122
click to vote
MABS
2004
Springer
15 years 11 months ago
2004
Springer
A new approach is suggested under the slogan “Keep it Descriptive Stupid” (KIDS) that encapsulates a trend in increasingly descriptive agentbased social simulation. The KIDS ap...
145
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
A key advantage for the use of a Domain-Specific Language (DSL) is the leverage that can be captured from a concise representation of a programmer’s intention. This paper report...