1515 search results - page 145 / 303 » On the relation of aspects and monads |
175
click to vote
HICSS
2010
IEEE
15 years 6 months ago
2010
IEEE
Current approaches to Business Process Management (BPM) and Operational Business Intelligence (BI) integration have been very limited and simply reduced to the problem of technica...
130
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Sampled semantics of timed automata is a nite approximation of their dense time behavior. While the former is closer to the actual software or hardware systems ed granularity of ti...
157
click to vote
ACTA
2006
15 years 6 months ago
2006
The lazy caching algorithm of Afek, Brown, and Merrit (1993) is a protocol that allows the use of local caches with delayed updates. It results in a memory model that is not atomi...
178
click to vote
ENTCS
2008
15 years 6 months ago
2008
Computational origami is the computer assisted study of mathematical and computational aspects of origami. An origami is constructed by a finite sequence of fold steps, each consi...
174
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Propositional representations of biomedical knowledge are a critical component of most aspects of semantic mining in biomedicine. However, the proper set of propositio...