1397 search results - page 144 / 280 » On the Need for Practical Formal Methods |
105
click to vote
ESWS
2010
Springer
15 years 9 months ago
2010
Springer
Recent research has shown that annotations are useful for representing access restrictions to the axioms of an ontology and their implicit consequences. Previous work focused on as...
122
click to vote
DEXA
1998
Springer
15 years 8 months ago
1998
Springer
Prototype databases are needed in any information system development process to support data-intensive applications development. It is common practice to populate these databases u...
143
click to vote
GFKL
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we present an application of single cluster visualization (SCV) a technique to visualize single clusters of high-dimensional data. This method maps a single cluster t...
113
click to vote
INTERACT
1997
15 years 5 months ago
1997
The conventional assumption that quality is an attribute of a product is misleading, as the attributes required for quality will depend on how the product is used. Quality of use ...
186
click to vote
INFSOF
2006
15 years 4 months ago
2006
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...