1312 search results - page 27 / 263 » Embedded contract languages |
FDL
2004
IEEE
15 years 3 months ago
2004
IEEE
IFIP
2000
Springer
15 years 3 months ago
2000
Springer
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...
LICS
1989
IEEE
15 years 3 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
111
click to vote
CADE
2004
Springer
16 years 4 days ago
2004
Springer
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...