792 search results - page 88 / 159 » Knowledge Engineering: Principles and Methods |
ISORC
2009
IEEE
14 years 2 months ago
2009
IEEE
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output obser...
COMPSAC
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents an automated software tool SQUARE (Software QUality and ARchitecture modelling Environment). It is designed and implemented to support the analysis of software...
Book
"Designing and Building Parallel Programs is a book for students and professionals who need to know how to write parallel programs. It is neither a programming language manual...
FC
2009
Springer
14 years 2 months ago
2009
Springer
Cryptographic credential infrastructures, such as Public key infrastructure (PKI), allow the building of trust relationships in electronic society and electronic commerce. At the c...