1150 search results - page 176 / 230 » Note from the Editor |
TSE
1998
13 years 7 months ago
1998
—This paper describes an empirical study that addresses the issue of communication among members of a software development organization. In particular, data was collected concern...
TSMC
2002
13 years 7 months ago
2002
There are a lot of industrial applications that can be solved competitively by hard computing, while still requiring the tolerance for imprecision and uncertainty that can be explo...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the se...
RAID
2010
Springer
13 years 6 months ago
2010
Springer
Malware clustering and classification are important tools that enable analysts to prioritize their malware analysis efforts. The recent emergence of fully automated methods for ma...
SOCO
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. In the context of Services Oriented Architecture (Soa), complex systems are realized through the design of business–driven processes. Since the design of a complete pro...