Sciweavers

7379 search results - page 1086 / 1476
» How Many Clusters
Sort
View
OOIS
2001
Springer
15 years 9 months ago
Analysis of Software Engineering Data Using Computational Intelligence Techniques
The accurate estimation of software development effort has major implications for the management of software development in the industry. Underestimates lead to time pressures tha...
Gabriel Jarillo, Giancarlo Succi, Witold Pedrycz, ...
TACAS
2001
Springer
125views Algorithms» more  TACAS 2001»
15 years 9 months ago
Coverage Metrics for Temporal Logic Model Checking
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
Hana Chockler, Orna Kupferman, Moshe Y. Vardi
138
Voted
WER
2001
Springer
15 years 9 months ago
Using the Language Extended Lexicon to Support Non-Functional Requirements Elicitation
Although Non-Functional Requirements (NFR) have been present in many software development methods, they have been faced as a second or even third class type of requirement, frequen...
Luiz Marcio Cysneiros, Julio Cesar Sampaio do Prad...
HICSS
2000
IEEE
132views Biometrics» more  HICSS 2000»
15 years 9 months ago
The Impacts of Relational and Trust Development Training on Virtual Teams: An Exploratory Investigation
Virtual teams are becoming common place in many organizations. These teams are geographically distributed and communicate via computer-mediated communication systems. Two factors ...
Peggy M. Beranek
ICDCS
2000
IEEE
15 years 9 months ago
Dynamic Adaptive File Management in a Local Area Network
In light of advances in processor and networking technology, especially the emergenceof networkattached disks,the traditional clientserver architecture of file systems has become...
Jiong Yang, Wei Wang 0010, Richard R. Muntz, Silvi...
« Prev « First page 1086 / 1476 Last » Next »