3555 search results - page 331 / 711 » Security-Critical System Development with Extended Use Cases |
170
click to vote
TKDE
2011
15 years 1 months ago
2011
— In location-based, mobile continual query (CQ) systems, two key measures of quality of service (QoS) are: freshness and accuracy. To achieve freshness, the CQ server must perfo...
177
click to vote
IAAI
2003
15 years 8 months ago
2003
This paper reports some results of a long-term work in application of AI techniques whose ultimate goal is the development of tools for resource scheduling. Most of the efforts so...
189
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Software developers use testing to gain and maintain confidence in the correctness of a software system. Automated reduction and prioritization techniques attempt to decrease the...
193
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Molecular interaction networks can be efficiently studied using network visualization software such as Cytoscape. The relevant nodes, edges and their attributes can be...
172
click to vote
ICAIL
2007
ACM
15 years 10 months ago
2007
ACM
Ontologies in a legal expert system must be processed to suit all possible user cases within the field of law of the system. From the logical premises of a deductive system of expr...