5243 search results - page 920 / 1049 » Reasoning About Strategies |
171
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: We explore the expressiveness of the BPMN workflow modelling language by applying it to MuCoMS, a paper submission system. This well known application domain is a suitable exampl...
199
click to vote
ECEASST
2010
15 years 1 months ago
2010
Abstract. Many modelling languages have both a textual and a graphical form. The relationship between these two forms ought to be clear and concrete, but is instead commonly unders...
177
click to vote
SYNTHESE
2010
15 years 1 months ago
2010
This paper explores the ramifications of the extended cognition thesis in the philosophy of mind for contemporary epistemology. In particular, it argues that all theories of knowle...
250
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
175
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The German cDNA Consortium has been cloning full length cDNAs and continued with their exploitation in protein localization experiments and cellular assays. However, t...