3429 search results - page 247 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
212
click to vote
CIKM
2008
Springer
15 years 9 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...
190
click to vote
WOTUG
2008
15 years 8 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...
192
click to vote
ICFEM
2004
Springer
16 years 14 days 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...
184
Voted
AOSE
2004
Springer
16 years 15 days 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...
232
click to vote
EUROPAR
2003
Springer
16 years 9 days 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...