1040 search results - page 94 / 208 » Resource Usage Verification |
118
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper presents an implementation of (a simplified version of) the cognitive agent programming language 3APL in the Maude term rewriting language. Maude is based on t...
243
click to vote
POPL
2004
ACM
16 years 3 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
114
click to vote
ECAL
2005
Springer
15 years 8 months ago
2005
Springer
One of the greatest challenges in the modern biological and social sciences has been to understand the evolution of altruistic and cooperative behaviors. General outlines of the an...
117
click to vote
ISCAS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents a low-cost, single-cycle floating-point unit developed for digital audio processing applications. In the unit, the serial steps of floating-point operations ar...
119
click to vote
CSCWD
2005
Springer
15 years 5 months ago
2005
Springer
Process mining techniques allow for extracting information from event logs. For example, the audit trails of a workflow management system or the transaction logs of an enterprise ...