1027 search results - page 163 / 206 » Representing and Reasoning with Operational Semantics |
143
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
As the amount of data being generated in biology has increased, a major challenge has been how to store and represent this data in a way that makes it easily accessible to researc...
140
click to vote
GI
2009
Springer
15 years 1 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...
231
click to vote
GIS
2008
ACM
16 years 5 months ago
2008
ACM
This work explores the potential for increased synergy between gazetteers and high-resolution remote sensed imagery. These two data sources are complementary. Gazetteers provide h...
128
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
Markup languages, representations, schemas, and tools have significantly increased the ability for organizations to share their information. Languages, such as the Extensible Mark...
214
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...