1376 search results - page 58 / 276 » Generating UML Models from Domain Patterns |
161
Voted
FORTE
2009
15 years 12 days ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
136
Voted
NETGAMES
2005
ACM
15 years 8 months ago
2005
ACM
We study the ‘background traffic’ resulting from tens of thousands of networked first person shooter (FPS) clients searching for servers on which to play. Networked, multiplay...
121
click to vote
NIPS
1997
15 years 4 months ago
1997
Up-propagation is an algorithm for inverting and learning neural network generative models. Sensory input is processed by inverting a model that generates patterns from hidden var...
115
Voted
ASPDAC
2009
ACM
15 years 9 months ago
2009
ACM
- With increasing availability of predefined IP (Intellectual Properties) blocks and inexpensive microprocessors, embedded system designers are faced with more design choices than ...
110
Voted
EDOC
2003
IEEE
15 years 8 months ago
2003
IEEE
Distributed System design is a highly complicated and non-trivial task. The problem is characterised by the need to design multi-threaded, multi-processor, and multimedia systems....