1824 search results - page 251 / 365 » Practices and Techniques for Engineering Process Capability ... |
111
Voted
SEKE
2005
Springer
15 years 9 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
123
Voted
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
144
Voted
CODES
2006
IEEE
15 years 9 months ago
2006
IEEE
Virtual platform (ViP), or ESL (Electronic System Level) simulation model, is one of the most widely renowned system level design techniques. In this paper, we present a case stud...
138
Voted
ALMOB
2006
15 years 3 months ago
2006
Background: Bifurcation analysis has proven to be a powerful method for understanding the qualitative behavior of gene regulatory networks. In addition to the more traditional for...
121
Voted
ISESE
2006
IEEE
15 years 9 months ago
2006
IEEE
Inspection is considered a powerful method to check software documents for defects. Many published work shows that inspections in requirements specification phase are particularly...