1588 search results - page 39 / 318 » On the Logic of Constitutive Rules |
171
click to vote
MEMOCODE
2007
IEEE
16 years 12 days ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
169
click to vote
DALT
2010
Springer
15 years 1 months ago
2010
Springer
Commitment-based interaction protocols are a flexible way of representing the interaction of a set of agents, that are well-known and widely accepted by the research community. Nor...
170
click to vote
GI
2010
Springer
15 years 4 months ago
2010
Springer
: In several industry scenarios, it is often the case that an existing reference workflow has to be adapted according to specific context factors, which might even change at runtim...
160
click to vote
SCSC
2007
15 years 7 months ago
2007
— The problem of concurrent thermal and vibration loading has not been thoroughly studied even though it is common in electronic packaging applications. Here we attempt to addres...
161
click to vote
AISC
1998
Springer
15 years 10 months ago
1998
Springer
While propositional modal logic is a standard tool, first-order modal logic is not. Indeed, it is not generally understood that conventional first-order syntax is insufficiently ex...