2940 search results - page 283 / 588 » Relational Parametricity and Control |
177
click to vote
IV
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper introduces Imago, an environment that supports the prototyping, evaluation and transitioning of information visualisation approaches into practice. The approach is base...
157
click to vote
ER
2007
Springer
16 years 25 days ago
2007
Springer
This paper describes a strategy for modeling and engineering complex e-business systems with built-in quality of adaptiveness. The paper explains the philosophical and scientific ...
194
click to vote
ESOP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Cost analysis of Java bytecode is complicated by its unstructured control flow, the use of an operand stack and its object-oriented programming features (like dynamic di...
137
click to vote
ICCS
2007
Springer
16 years 25 days ago
2007
Springer
Metadata-intensive applications pose strong requirements for metadata management infrastructures, which need to deal with a large amount of distributed and dynamic metadata. Among ...
160
click to vote
ICARCV
2006
IEEE
16 years 22 days ago
2006
IEEE
—This paper introduces an integrated modeling and analysis formalism based on colored Petri nets (CPNs) for supply chain configuration and evaluation. The structural changes of d...