3425 search results - page 299 / 685 » A Model Driven Approach for Software Systems Reliability |
178
click to vote
VISUAL
2005
Springer
16 years 8 days 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...
210
click to vote
SPLC
2010
15 years 8 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...
150
Voted
DSN
2000
IEEE
15 years 11 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...
233
click to vote
SIGIR
2012
ACM
13 years 9 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...
181
click to vote
WWW
2005
ACM
16 years 7 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...