43264 search results - page 8332 / 8653 » Comparing models of computation |
154
click to vote
ICST
2009
IEEE
15 years 24 days ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
135
click to vote
AMAI
2010
Springer
15 years 16 days ago
2010
Springer
Constraints and quantitative preferences, or costs, are very useful for modelling many real-life problems. However, in many settings, it is difficult to specify precise preference ...
146
click to vote
DEBU
2010
15 years 14 days ago
2010
Panda (for Provenance and Data) is a new project whose goal is to develop a general-purpose system that unifies concepts from existing provenance systems and overcomes some limita...
137
click to vote
DMTCS
2010
15 years 14 days ago
2010
We present a model of automaton for picture language recognition, called Wang automaton, which is based on labeled Wang tiles. Wang automata combine features of both online tessell...
145
click to vote
FCSC
2010
15 years 14 days ago
2010
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...