Sciweavers

474 search results - page 42 / 95
» Assurance Based Development of Critical Systems
Sort
View
HCI
2009
15 years 2 months ago
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
Philippe A. Palanque, Jean-François Ladry, ...
CCGRID
2008
IEEE
15 years 11 months ago
Reputation-Based Estimation of Individual Performance in Grids
Hidden information is a critical issue for the successful delivery of SLAs in grid systems. It arises when the agents (hardware and software resources) employed to serve a task be...
Thanasis G. Papaioannou, George D. Stamoulis
BMCBI
2007
120views more  BMCBI 2007»
15 years 5 months ago
Non-coding sequence retrieval system for comparative genomic analysis of gene regulatory elements
Background: Completion of the human genome sequence along with other species allows for greater understanding of the biochemical mechanisms and processes that govern healthy as we...
Sung Tae Doh, Yunyu Zhang, Matthew H. Temple, Li C...
ICIP
2000
IEEE
16 years 6 months ago
Classification of Textured and Non-Textured Images Using Region Segmentation
The classification of general-purpose photographs into textured and non-textured images is critical for developing accurate content-based image retrieval systems for large-scale i...
Jia Li, James Ze Wang, Gio Wiederhold
IJCAI
1989
15 years 6 months ago
An Adaptive Model of Decision-Making in Planning
Learning how to make decisions in a domain is a critical aspect of intelligent planning behavior. The ability of a planner to adapt its decision-making to a domain depends in part...
Gregg Collins, Lawrence Birnbaum, Bruce Krulwich