3224 search results - page 212 / 645 » On Checking Model Checkers |
148
Voted
GI
2009
Springer
15 years 1 months ago
2009
Springer
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...
124
click to vote
UC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computin...
111
click to vote
ENTCS
2006
15 years 4 months ago
2006
In this paper, we present weighted/priced timed automata, an extension of timed automaton with costs, and solve several interesting problems on that model. Key words: Weighted/pri...
121
Voted
FOSSACS
2003
Springer
15 years 9 months ago
2003
Springer
Lossy channel systems (LCS’s) are systems of finite state automata that communicate via unreliable unbounded fifo channels. We propose a new probabilistic model for these syste...
138
click to vote
SOSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract Web services choreography describes the global model of service interactions among a set of participants. In order to achieve a common business goal, the protocols of inte...