3429 search results - page 247 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
137
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Statistical topic models provide a general data-driven framework for automated discovery of high-level knowledge from large collections of text documents. While topic models can p...
130
click to vote
WOTUG
2008
15 years 5 months ago
2008
Abstract. Distributing process-oriented programs across a cluster of machines requires careful attention to the effects of network latency. The MPI standard, widely used for cluste...
146
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
135
Voted
AOSE
2004
Springer
15 years 9 months ago
2004
Springer
While there are many useful models of agents and multi-agent systems, they are typically defined in an informal way and applied in an ad-hoc fashion. Consequently, multi-agent sys...
172
click to vote
EUROPAR
2003
Springer
15 years 9 months ago
2003
Springer
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...