4476 search results - page 346 / 896 » Modeling software architectures in the Unified Modeling Lang... |
190
click to vote
IRI
2005
IEEE
16 years 12 days ago
2005
IEEE
For many years, researchers and software developers have been seeking to develop systems and applications to enable efficient and effective group work and organizational memory. ...
156
click to vote
ERLANG
2006
ACM
16 years 24 days ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
176
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
The modular representation of concerns is imperative in the design modeling of multi-agent systems (MASs). However, MAS designers typically face a number of concerns that inherent...
153
click to vote
HPCC
2007
Springer
16 years 29 days ago
2007
Springer
We propose a model for describing the parallel performance of multigrid software on distributed memory architectures. The goal of the model is to allow reliable predictions to be m...
185
click to vote
SDL
2007
15 years 8 months ago
2007
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...