819 search results - page 90 / 164 » OntoArch Approach for Reliability-Aware Software Architectur... |
129
Voted
AIS
2000
Springer
15 years 3 months ago
2000
Springer
Tailorability is generally regarded as a key property of groupware systems due to the dynamics and differentiation of cooperative work. This article investigates the use of softwa...
217
Voted
ICDE
1999
IEEE
16 years 4 months ago
1999
IEEE
Increasingly, for extensibility and performance, specialpurpose application code is being integrated with database system code. Such application code has direct access to database...
100
Voted
ENTCS
2002
15 years 3 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
140
Voted
PDP
2003
IEEE
15 years 8 months ago
2003
IEEE
Organizations increasingly coordinate their product and service development processes to deliver their products and services as fast as possible, and to involve employees, custome...
142
Voted
ICSE
2003
IEEE-ACM
15 years 8 months ago
2003
IEEE-ACM
Modeling software components from multiple perspectives provides complementary views of a software system and enables sophisticated analyses of its functionality. A software compon...