2608 search results - page 344 / 522 » Subjects, Models, Languages, Transformations |
169
click to vote
ACMICEC
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we studied the semantic consistency maintenance issue between heterogeneous contexts, that is, how a firm business process of one e-marketplace can be transformed t...
160
click to vote
CIVR
2007
Springer
16 years 22 days ago
2007
Springer
We present a novel matching and similarity evaluation method for planar geometric shapes represented by sets of polygonal curves. Given two shapes, the matching algorithm randomly...
183
click to vote
CAISE
2001
Springer
15 years 11 months ago
2001
Springer
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...
186
click to vote
PPDP
2007
Springer
16 years 20 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
165
click to vote
OOPSLA
2004
Springer
15 years 12 months ago
2004
Springer
In the domain of hard real-time systems, which language is better: C++ or the Real-Time Specification for Java (RTSJ)? Although standard Java provides a more productive programmin...