Sciweavers

899 search results - page 118 / 180
» Using Method Engineering for the Construction of Agent-Orien...
Sort
View
126
Voted
AGILEDC
2009
IEEE
15 years 8 months ago
Easing Team Politics in Agile Usability: A Concept Mapping Approach
— Team politics complicate software projects. They cause internal conflicts that can not only cost a software team time and money, but may also detract from the needs of the prod...
Jeremy T. Barksdale, Eric D. Ragan, D. Scott McCri...
127
Voted
WCRE
1999
IEEE
15 years 7 months ago
Type-Check Elimination: Two Object-Oriented Reengineering Patterns
In reengineering an object-oriented system we want to benefit from the expertise developed in earlier efforts. It is therefore essential to have a way to communicate expertise at ...
Stéphane Ducasse, Tamar Richner, Robb Nebbe
124
Voted
ICSE
2009
IEEE-ACM
15 years 1 months ago
Extended eTVRA vs. security checklist: Experiences in a value-web
Abstract--Security evaluation according to ISO 15408 (Common Criteria) is a resource and time demanding activity, as well as being costly. For this reason, only few companies take ...
Ayse Morali, Emmanuele Zambon, Siv Hilde Houmb, Ka...
191
Voted
CAV
1999
Springer
125views Hardware» more  CAV 1999»
15 years 7 months ago
Model Checking of Safety Properties
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
Orna Kupferman, Moshe Y. Vardi
118
Voted
TON
2010
97views more  TON 2010»
14 years 10 months ago
Gradually reconfiguring virtual network topologies based on estimated traffic matrices
Traffic matrix, which is required as an input of traffic engineering (TE) methods, is difficult to be obtained directly. One possible approach to obtaining the traffic matrix is to...
Yuichi Ohsita, Takashi Miyamura, Shin'ichi Arakawa...