6167 search results - page 1204 / 1234 » Can Refinement be Automated |
114
click to vote
ECLIPSE
2005
ACM
15 years 2 months ago
2005
ACM
One of the reasons why large-scale software development is difficult is the number of dependencies that software engineers need to face: e.g., dependencies among the software comp...
114
Voted
ACMICEC
2008
ACM
15 years 2 months ago
2008
ACM
In this paper, we studied the semantic consistency maintenance issue between heterogeneous contexts, that is, how a firm business process of one e-marketplace can be transformed t...
103
Voted
EMSOFT
2008
Springer
15 years 2 months ago
2008
Springer
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...
98
Voted
CSREASAM
2008
15 years 2 months ago
2008
: Children's privacy has become critical with the increasing use of the Internet for commercial purposes and corresponding increase in requests for information. 65% of childre...
106
Voted
DIMVA
2008
15 years 2 months ago
2008
Abstract. This paper presents a novel framework to substantiate selfsigned certificates in the absence of a trusted certificate authority. In particular, we aim to address the prob...