Sciweavers

4690 search results - page 549 / 938
» An operational semantics for Scheme
Sort
View
APLAS
2007
ACM
15 years 11 months ago
Translation Correctness for First-Order Object-Oriented Pattern Matching
Pattern matching makes ML programs more concise and readable, and these qualities are also sought in object-oriented settings. However, objects and classes come with open erarchie...
Burak Emir, Qin Ma 0002, Martin Odersky
171
Voted
HPCC
2007
Springer
15 years 11 months ago
Resource Aggregation and Workflow with Webcom
Efficient exploitation of the aggregate resources available to a researcher is a challenging and real problem. The challenge becomes all the greater when researchers who collaborat...
Oisín Curran, Paddy Downes, John Cunniffe, ...
234
Voted
COOPIS
2004
IEEE
15 years 11 months ago
EMMA - A Query Algebra for Enhanced Multimedia Meta Objects
Enhanced Multimedia Meta Objects (EMMOs) are a novel approach to multimedia content modeling, combining media, semantic relationships between those media, as well as functionality ...
Sonja Zillner, Utz Westermann, Werner Winiwarter
184
Voted
BPM
2006
Springer
119views Business» more  BPM 2006»
15 years 11 months ago
Business Process Design by View Integration
Even though the design of business processes most often has to consolidate the knowledge of several process stakeholders, this fact is utilized only to a limited extent by existing...
Jan Mendling, Carlo Simon
162
Voted
CAISE
2006
Springer
15 years 11 months ago
A Framework for the Behavior Based Integration of Business Processes
Abstract. We propose a meta-meta framework architecture for supporting the behavior based integration of two business processes. The meta-meta level provides basic integration oper...
Georg Grossmann, Michael Schrefl, Markus Stumptner