7288 search results - page 50 / 1458 » On process rate semantics |
169
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commu...
155
click to vote
PE
2010
Springer
14 years 11 months ago
2010
Springer
Fluid modelling is a next-generation technique for analysing massive performance models. Passive cooperation is a popular cooperation mechanism frequently used by performance engi...
129
click to vote
NLDB
2004
Springer
15 years 9 months ago
2004
Springer
—Most Web and legacy paper-based documents are available in human comprehensible text form, not readily accessible to or understood by computer programs. Here, we investigate an ...
167
click to vote
ECMDAFA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
147
click to vote
MOBIS
2008
15 years 5 months ago
2008
: Compliance management, risk analysis, and auditing are disciplines that are critical for large scale distributed enterprise systems. The way these complex systems are developed a...