1782 search results - page 19 / 357 » Tool Support for Proof Engineering |
LSO
2004
Springer
14 years 2 months ago
2004
Springer
The need for organizational learning support is common among all software development companies but is not addressed by agile software methods practitioners. The typical Experience...
ACSC
2006
IEEE
14 years 2 months ago
2006
IEEE
Malware — a generic term that encompasses viruses, trojans, spywares and other intrusive code — is widespread today. Malware analysis is a multi-step process providing insight...
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
Multiagent systems (MAS) research is well established yet there is little development of agent technology in industry. It has been suggested that this is due, in part, to the unav...
ASE
2005
13 years 8 months ago
2005
A recurring difficulty for organizations that employ a product-line approach to development is that when a new product is added to an existing product line, there is currently no a...
IUI
2012
ACM
12 years 4 months ago
2012
ACM
The effort and time required to develop user interface models has been one of the main limitations to the adoption of model-based approaches, which enable intelligent processing o...