933 search results - page 152 / 187 » Extending Forward Checking |
117
click to vote
COMPSAC
2007
IEEE
15 years 6 months 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...
99
Voted
ECOOP
2007
Springer
15 years 6 months 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...
122
click to vote
APN
2004
Springer
15 years 6 months 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...
119
click to vote
CCGRID
2004
IEEE
15 years 6 months 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...
109
Voted
ATAL
2006
Springer
15 years 6 months 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...