1312 search results - page 98 / 263 » Embedded contract languages |
114
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
120
click to vote
AUSAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Quantified Boolean formulas (QBFs) play an important role in artificial intelligence subjects, specially in planning, knowledge representation and reasoning [20]. In th...
128
click to vote
ISOLA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...
144
click to vote
CSREAESA
2006
15 years 4 months ago
2006
The performance of software executed on a microprocessor is adversely affected by the basic fetchexecute cycle. A further performance penalty results from the load-execute-store p...
122
click to vote
MT
2002
15 years 2 months ago
2002
This paper describes Expedition, an environment designed to facilitate the quick ramp-up of MT systems from practically any alphabetic language (L) into English. The central compon...