2836 search results - page 188 / 568 » Model Checking for Software Architectures |
212
Voted
ECMDAFA
2006
Springer
15 years 10 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...
183
Voted
DEXA
2007
Springer
16 years 1 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...
187
Voted
HIPEAC
2005
Springer
16 years 15 days 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...
172
click to vote
RISE
2005
Springer
16 years 14 days 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...
151
Voted
CBSE
2004
Springer
16 years 11 days 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...