897 search results - page 117 / 180 » Reuse, Validation and Verification of System Development Pro... |
IJAOSE
2008
13 years 7 months ago
2008
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...
ICA
2007
Springer
14 years 1 months ago
2007
Springer
In this work, we deal with blind source separation of a class of nonlinear mixtures. The proposed method can be regarded as an adaptation of the solutions developed in [1, 2] to th...
HT
2000
ACM
14 years 4 days ago
2000
ACM
Software components for distance and just-in-time (JIT) learning are an increasingly common method of encouraging reuse and facilitating the development process[58], but no analog...
LREC
2008
13 years 9 months ago
2008
Combinatorial Category Grammar is (CCG) a lexicalized grammar formalism which is expressed by syntactic category, a logical form representation. There are difficulties in represen...
ICSM
2002
IEEE
14 years 21 days ago
2002
IEEE
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....