933 search results - page 152 / 187 » Extending Forward Checking |
COMPSAC
2007
IEEE
14 years 13 days ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
ECOOP
2007
Springer
14 years 12 days ago
2007
Springer
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...
APN
2004
Springer
14 years 7 days ago
2004
Springer
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...
CCGRID
2004
IEEE
14 years 7 days ago
2004
IEEE
Utility Grids implemenf a virtuuliiarion architecture and nl- lowfor sharing of infrastructure for improved Rerum on invesrmenr(RO1J.Wc consider extending the existing Grid infrus...
ATAL
2006
Springer
14 years 7 days ago
2006
Springer
Recently we had proposed two untraceability protocols for mobile agents and began investigating their quality. We believe that quality evaluation of security protocols should exte...