9067 search results - page 134 / 1814 » Adaptive Model Checking |
97
Voted
DAC
1998
ACM
16 years 3 months ago
1998
ACM
111
Voted
QEST
2007
IEEE
15 years 8 months ago
2007
IEEE
113
Voted
JALC
2006
15 years 2 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...
180
Voted
CSAC
2006
15 years 4 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...
132
Voted
CAV
1997
Springer
15 years 6 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,...