631 search results - page 114 / 127 » Deriving Specifications from Requirements: An Example |
CVPR
2006
IEEE
14 years 8 months ago
2006
IEEE
We propose a new technique for edge-suppressing operations on images. We introduce cross projection tensors to achieve affine transformations of gradient fields. We use these tens...
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...
ICSOC
2004
Springer
14 years 3 days ago
2004
Springer
The paradigm shift from device-oriented to service-oriented management has also implications to the area of event correlation. Today’s event correlation mainly addresses the cor...
TON
2008
13 years 6 months ago
2008
Abstract--Intermittently connected mobile networks are wireless networks where most of the time there does not exist a complete path from the source to the destination. There are m...
KDD
2002
ACM
14 years 7 months ago
2002
ACM
Recently, there has been increasing interest in the issues of cost-sensitive learning and decision making in a variety of applications of data mining. A number of approaches have ...