4211 search results - page 339 / 843 » A formal approach to MASQ |
163
click to vote
ER
2005
Springer
16 years 10 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 10 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...
176
click to vote
FM
2005
Springer
16 years 10 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...
176
click to vote
SAS
2005
Springer
16 years 9 days ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
145
Voted
IHM
2004
ACM
16 years 7 days ago
2004
ACM
This paper describes an approach for the participatory design. After describing the trends in the domain, a formalization of the design process is expressed based on « phase »...