1454 search results - page 265 / 291 » Stateful traits and their formalization |
96
Voted
ASE
2006
15 years 25 days ago
2006
Recently, more attention is paid to the researches and practices on how to use software architecture in software maintenance and evolution to reduce their complexity and cost. The ...
104
click to vote
JCS
2006
15 years 22 days ago
2006
We present three case studies, investigating the use of probabilistic model checking to automatically analyse properties of probabilistic contract signing protocols. We use the pr...
116
Voted
KI
2006
Springer
15 years 21 days ago
2006
Springer
Abstract. In this paper, a framework for previous and new quasi-exact extensions of the A -algorithm is presented. In contrast to previous approaches, the new methods guarantee to ...
159
click to vote
FUIN
2007
15 years 21 days ago
2007
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...
87
Voted
IJFCS
2007
15 years 20 days ago
2007
We investigate deterministically simulating (i.e., solving the membership problem for) nondeterministic finite automata (NFA), relying solely on the NFA’s resources (states and...