3425 search results - page 299 / 685 » A Model Driven Approach for Software Systems Reliability |
137
click to vote
VISUAL
2005
Springer
15 years 10 months ago
2005
Springer
This contribution details how conceptual characterizations of route knowledge can provide the basis for graphical route information in a cognitively adequate way. The approach is b...
161
click to vote
SPLC
2010
15 years 6 months ago
2010
Groupware are computer-based systems designed to support groups of people working together providing a shared environment. Given that developing this kind of application is not a t...
121
click to vote
DSN
2000
IEEE
15 years 9 months ago
2000
IEEE
We describe an methodology for testing a software system for possible security flaws. Based on the observation that most security flaws are caused by the program’s inappropria...
179
click to vote
SIGIR
2012
ACM
13 years 7 months ago
2012
ACM
We propose a mathematical framework for query selection as a mechanism for reducing the cost of constructing information retrieval test collections. In particular, our mathematica...
138
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...