15155 search results - page 147 / 3031 » System Software |
144
click to vote
NAR
2007
15 years 5 months ago
2007
To bridge the gap between the rising information needs of biological and medical researchers and the rapidly growing number of online bioinformatics resources, we have created the...
160
click to vote
PDCAT
2007
Springer
16 years 5 days ago
2007
Springer
A communication protocol is a fundamental component of a multi-agent system. The security requirements for a communication protocol should be articulated during the early stages o...
161
click to vote
CDC
2008
IEEE
16 years 16 days ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
154
click to vote
JSS
2000
15 years 5 months ago
2000
The first goal of this paper is to empirically explore the relationships between existing object-oriented coupling, cohesion, and inheritance measures and the probability of fault...
155
click to vote
CBSE
2006
Springer
15 years 8 months ago
2006
Springer
Non-functional specifications of software components are considered an important asset in constructing dependable systems, since they enable early Quality of Service (QoS) evaluati...