4502 search results - page 154 / 901 » Regular Model Checking |
DAC
1998
ACM
16 years 2 months ago
1998
ACM
QEST
2007
IEEE
15 years 7 months ago
2007
IEEE
98
Voted
JALC
2006
15 years 1 months ago
2006
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
162
Voted
CSAC
2006
15 years 2 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
122
Voted
CAV
1997
Springer
15 years 4 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...