2836 search results - page 472 / 568 » Model Checking for Software Architectures |
146
Voted
JUCS
2008
15 years 5 months ago
2008
: Web applications are widely disseminated, but, traditional development methods for this type of application still require a substantial amount of new modeling and programming. Cu...
141
click to vote
SIGPLAN
2008
15 years 5 months ago
2008
Multi-core technology is being employed in most recent high-performance architectures. Such architectures need specifically designed multi-threaded software to exploit all the pot...
162
click to vote
SOCO
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In the context of Services Oriented Architecture (Soa), complex systems are realized through the design of business–driven processes. Since the design of a complete pro...
173
click to vote
SAC
2010
ACM
15 years 3 months ago
2010
ACM
Software Product Line (SPL) Engineering has to deal with interrelated, complex models such as feature and architecture models, hence traceability is fundamental to keep them consi...
142
click to vote
ECTEL
2007
Springer
15 years 11 months ago
2007
Springer
Indicators help actors to organise, orientate and navigate through complex environments by providing contextual information relevant for the performance of learning tasks. In this ...