2255 search results - page 131 / 451 » High Assurance Software Systems |
122
click to vote
AGILEDC
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper analyzes the reflections of an agile team, developing a large-scale project in an industry setting. The team uses an Iteration Summary Meeting practice, which includes ...
116
click to vote
WISA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Reverse engineering of executable programs, by disassembling them and then using program analyses to recover high level semantic information, plays an important role in a...
111
click to vote
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
In component-based development (CBD), component is the basic unit for reuse and it provides a relatively coarse-grained functionality. A component typically consists of several re...
108
click to vote
DSN
2005
IEEE
15 years 8 months ago
2005
IEEE
While inherent resource redundancies in distributed applications facilitate gracefully degradable services, methods to enhance their dependability may have subtle, yet significan...
122
click to vote
AISC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...