399 search results - page 17 / 80 » Verification of System Level Model Transformations |
190
click to vote
DDEP
2000
Springer
15 years 6 months ago
2000
Springer
As mobile computing becomes widespread, so will the need for digital document delivery by hypertextual means. A further trend will be the provision of the ability for devices to de...
154
click to vote
AMAST
2004
Springer
15 years 6 months ago
2004
Springer
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
106
click to vote
FPL
2001
Springer
15 years 7 months ago
2001
Springer
Although FPGA technology offers the potential of designing high performance systems at low cost, its programming model is prohibitively low level. To allow a novice signal/image pr...
WEBIST
2008
15 years 3 months ago
2008
The problem of comparing and matching different learners' knowledge arises when assessment systems use a one-dimensional numerical value to represent "knowledge level&quo...
121
click to vote
SAC
2006
ACM
15 years 2 months ago
2006
ACM
Model transformations are frequently applied in business process modeling to bridge between languages on a different abstraction and formality. In this paper, we define a transfor...