546 search results - page 87 / 110 » Substructural Operational Semantics as Ordered Logic Program... |
113
Voted
VLSID
2002
IEEE
16 years 28 days ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
129
Voted
JSW
2007
15 years 13 days ago
2007
— Web services composition is a very active area of research due to the growing interest of public and private organizations in services integration and/or low cost development o...
CTCS
1989
Springer
15 years 4 months ago
1989
Springer
We introduce the notion of a candidate for “multiple valued universal constructions” and define stable functors (which generalise functors with left adjoints) in terms of fac...
131
click to vote
FMCAD
2008
Springer
15 years 2 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
106
Voted
IOR
2007
15 years 14 days ago
2007
We combine mixed integer linear programming (MILP) and constraint programming (CP) to solve an important class of planning and scheduling problems. Tasks are allocated to faciliti...