2836 search results - page 188 / 568 » Model Checking for Software Architectures |
161
click to vote
ECMDAFA
2006
Springer
15 years 8 months ago
2006
Springer
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...
131
click to vote
DEXA
2007
Springer
15 years 10 months ago
2007
Springer
The motivation of this paper is to research the individual and the team levels of knowledge management, in order to unveil prominent knowledge needs, interactions and processes, an...
136
click to vote
HIPEAC
2005
Springer
15 years 9 months ago
2005
Springer
In DRM domain, the adversary has complete control of the computing node - supervisory privileges along with full physical as well as architectural object observational capabilities...
130
click to vote
RISE
2005
Springer
15 years 9 months ago
2005
Springer
Software Product Line (SPL) engineering allows designers to reason about an entire family of software applications, instead of a single product, with a strategic importance for the...
119
click to vote
CBSE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Current peer-to-peer architectures are hardly resistant against unanticipated exceptions such as the failure of single peers. This can be justified by the absence of soph...