3108 search results - page 283 / 622 » The Elements of Computer Credibility |
177
click to vote
GCC
2005
Springer
16 years 3 days ago
2005
Springer
In this paper, we compare the performance of some mesh-based applications in a Grid environment using the domain decomposition technique and unbalanced workload strategies. We prop...
168
click to vote
SAC
2004
ACM
16 years 2 days ago
2004
ACM
The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints i...
168
click to vote
BIRTHDAY
2004
Springer
16 years 2 days ago
2004
Springer
Ternary algebra has been used for detection of hazards in logic circuits since 1948. Process spaces have been introduced in 1995 act models of concurrent processes. Surprisingly, p...
150
click to vote
CG
2004
Springer
16 years 2 days ago
2004
Springer
In this paper a new method is described for move ordering, called the relative history heuristic. It is a combination of the history heuristic and the butterfly heuristic. Instead...
159
click to vote
GG
2004
Springer
16 years 1 days ago
2004
Springer
In this work we introduce event-driven grammars, a kind of graph grammars that are especially suited for visual modelling environments generated by meta-modelling. Rules in these g...