2835 search results - page 315 / 567 » Common Semantics for Use Cases and Task Models |
125
click to vote
ENTCS
2006
15 years 4 months ago
2006
In this paper, we look at two categorical accounts of computational effects (strong monad as a model of the monadic metalanguage, adjunction as a model of call-bypush-value with s...
137
click to vote
ELPUB
2007
ACM
15 years 8 months ago
2007
ACM
This paper presents a brief summary of the findings of a Web-based survey of the views of Australian publishers, on the potential impact of digital technologies, followed by three...
130
click to vote
IH
2009
Springer
15 years 11 months ago
2009
Springer
Media forensics tries to determine the originating device of a signal. We apply this paradigm to microphone forensics, determining the microphone model used to record a given audio...
143
click to vote
BIBE
2004
IEEE
15 years 8 months ago
2004
IEEE
Large-scale biomedical data sets of macromolecular structures such as DNA and proteins describe highly complex biomolecular entities which often consist of thousands of atoms and ...
146
click to vote
EUROMICRO
2007
IEEE
15 years 6 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...