Sciweavers

878 search results - page 103 / 176
» Choice and development
Sort
View
93
Voted
IFM
2007
Springer
126views Formal Methods» more  IFM 2007»
15 years 7 months ago
Common Semantics for Use Cases and Task Models
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
115
Voted
ISPA
2007
Springer
15 years 7 months ago
Grid and Distributed Public Computing Schemes for Structural Proteomics: A Short Overview
Grid and distributed public computing schemes has become an essential tool for many scientific fields including bioinformatics, computational biology and systems biology. The adopt...
Azhar Ali Shah, Daniel Barthel, Natalio Krasnogor
LADC
2007
Springer
15 years 7 months ago
Gossiping: Adaptive and Reliable Broadcasting in MANETs
Given the frequent topology changes in Mobile Ad Hoc Networks (MANET), the choice of appropriate broadcasting techniques is crucial to ensure reliable delivery of messages. The spr...
Abdelmajid Khelil, Neeraj Suri
78
Voted
SEKE
2007
Springer
15 years 7 months ago
REM4j - A Framework for Measuring the Reverse Engineering Capability of UML CASE Tools
Reverse Engineering is becoming increasingly important in the software development world today as many organizations are battling to understand and maintain old legacy systems. To...
Steven Kearney, James F. Power
93
Voted
CSFW
2006
IEEE
15 years 6 months ago
Decentralized Robustness
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
Stephen Chong, Andrew C. Myers