4290 search results - page 310 / 858 » Formal Approaches to Teamwork |
171
click to vote
TPHOL
2005
IEEE
16 years 13 days ago
2005
IEEE
Wouldn’t it be nice to be able to conveniently use ordinary real number expressions within proof assistants? In this paper we outline how this can be done within a theorem provin...
143
click to vote
KCAP
2005
ACM
16 years 12 days ago
2005
ACM
Among the variety of alignment approaches (e.g., using machine learning, subsumption computation, formal concept analysis, etc.) similarity-based ones rely on a quantitative asses...
164
click to vote
ER
2005
Springer
16 years 11 days ago
2005
Springer
We describe a new approach to managing information quality (IQ) in an e-Science context, by allowing scientists to define the quality characteristics that are of importance in the...
166
click to vote
ERCIMDL
2005
Springer
16 years 11 days ago
2005
Springer
One of the objectives of the Open Access movement is to establish institutional repositories at universities and other research institutions in order to support self-archiving. Alt...
178
click to vote
FM
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...