7380 search results - page 649 / 1476 » Engineering Software Intensive Systems |
155
click to vote
COMPSAC
2002
IEEE
16 years 5 hour ago
2002
IEEE
In this paper, we propose and evaluate a new NAS based system which is a consolidated file system in a network environment. The consolidated file system utilizes storage boxes c...
194
click to vote
ICRE
1998
IEEE
15 years 11 months ago
1998
IEEE
Pervasive societal dependency on large-scale, unbounded network systems, the substantial risks of such dependency, and the growing sophistication of system intruders, have focused...
150
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...
169
click to vote
APSEC
2007
IEEE
16 years 1 months ago
2007
IEEE
The coordination-policy that components interactions satisfied often determines the properties of nowadays component-based information systems, e.g. Safety, Liveness and Fairness ...
148
click to vote
CSMR
2006
IEEE
16 years 1 months ago
2006
IEEE
When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system ...