Sciweavers

551 search results - page 84 / 111
» The Complexity of Andersen's Analysis in Practice
Sort
View
ICSE
2000
IEEE-ACM
13 years 11 months ago
Requirements engineering in the year 00: a research perspective
Requirements engineering (RE) is concerned with the identification of the goals to be achieved by the envisioned system, the operationalization of such goals into services and con...
Axel van Lamsweerde
PAKDD
2000
ACM
140views Data Mining» more  PAKDD 2000»
13 years 11 months ago
Performance Controlled Data Reduction for Knowledge Discovery in Distributed Databases
The objective of data reduction is to obtain a compact representation of a large data set to facilitate repeated use of non-redundant information with complex and slow learning alg...
Slobodan Vucetic, Zoran Obradovic
WSC
2008
13 years 9 months ago
Towards a flexible business process modeling and simulation environment
Business process is crucial to the success of any business. Business process modeling enables a common understanding and analysis of a business process, and simulation is an effec...
Changrui Ren, Wei Wang, Jin Dong, Hongwei Ding, Bi...
ATAL
2008
Springer
13 years 9 months ago
Checking correctness of business contracts via commitments
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...
Nirmit Desai, Nanjangud C. Narendra, Munindar P. S...
CCS
2008
ACM
13 years 9 months ago
Towards experimental evaluation of code obfuscation techniques
While many obfuscation schemes proposed, none of them satisfy any strong definition of obfuscation. Furthermore secure generalpurpose obfuscation algorithms have been proven to be...
Mariano Ceccato, Massimiliano Di Penta, Jasvir Nag...