5015 search results - page 146 / 1003 » Model Checking a Path |
96
Voted
QEST
2007
IEEE
15 years 7 months ago
2007
IEEE
JALC
2006
15 years 24 days 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...
159
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...
117
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,...
105
click to vote
INFOCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Path computation elements (PCE’s) are used to compute end-to-end paths across multiple areas. Multiple PCE’s may be dedicated to each area to provide sufficient path...