469 search results - page 88 / 94 » Extended abstract: a race-free hardware modeling language |
IWIC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. The long-term historical development and broad geographical variation of Chinese character (Hanzi/Kanji) has made it a crosscultural information sharing platform in East ...
132
click to vote
DALT
2005
Springer
15 years 5 months ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
TIC
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. We present the design and implementation of the first complete framework for flexible and safe dynamic linking of native code. Our approach extends Typed Assembly Languag...
100
click to vote
FOIKS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We present a novel logic-based approach to automate multi-issue bilateral negotiation in e-marketplaces. In such frameworks issues to negotiate on can be multiple, interr...
CORR
2006
Springer
14 years 11 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...