1451 search results - page 63 / 291 » Case Studies in Model Manipulation for Scientific Computing |
147
click to vote
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. We propose the study of graphs that are defined by lowcomplexity distributed and deterministic agents. We suggest that this viewpoint may help introduce the element of in...
139
click to vote
IUI
2003
ACM
15 years 9 months ago
2003
ACM
Animated pedagogical agents offer promise as a means of making computer-aided learning more engaging and effective. To achieve this, an agent must be able to interact with the lea...
140
click to vote
CLUSTER
2006
IEEE
15 years 8 months ago
2006
IEEE
One of the most important collective communication patterns used in scientific applications is the complete exchange, also called All-to-All. Although efficient complete exchange ...
114
click to vote
IEEEIAS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...
128
click to vote
PODS
2003
ACM
16 years 4 months ago
2003
ACM
The emerging paradigm of electronic services promises to bring to distributed computation and services the flexibility that the web has brought to the sharing of documents. An und...