1585 search results - page 186 / 317 » A framework for computer-aided validation |
99
Voted
OTM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Web services have become the predominant paradigm for the development of distributed software systems. Web services provide the means to modularize software in a way that...
127
Voted
ECLIPSE
2004
ACM
15 years 9 months ago
2004
ACM
Automated tools for mediating incoming interruptions are necessary in order to balance the concentration required for software development with the need to collaborate and absorb ...
143
Voted
ECCV
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we describe the application of a novel statistical videomodeling scheme to sequences of multiple sclerosis (MS) images taken over time. The analysis of the ...
116
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...
118
click to vote
PAKDD
2004
ACM
15 years 9 months ago
2004
ACM
Abstract. The sharing of association rules is often beneficial in industry, but requires privacy safeguards. One may decide to disclose only part of the knowledge and conceal stra...