21319 search results - page 52 / 4264 » An Approach for Method Reengineering |
WSC
1998
14 years 11 months ago
1998
Simulation is fast becoming THE software tool for the 1990's. More companies each year are taking advantage of the ease of use of simulation software and see the benefits to ...
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
Software systems are designed and engineered to process data. However, software is data too. The size and variety of today's software artifacts and the multitude of stakehold...
CIARP
2007
Springer
15 years 4 months ago
2007
Springer
Underlying biometrics are biological tissues that evolve over time. Hence, biometric authentication (and recognition in general) is a dynamic pattern recognition problem. We propos...
ACL
2012
13 years 10 days ago
2012
This paper studies the problem of sentencelevel semantic coherence by answering SATstyle sentence completion questions. These questions test the ability of algorithms to distingui...
159
click to vote
FM
1997
Springer
15 years 2 months ago
1997
Springer
We describe a meta-method for formal method integration Pai97 . The approach is applied to combining formal methods with other formal and semiformal methods. We discuss the theory ...