Sciweavers

3319 search results - page 193 / 664
» Type Theoretical Databases
Sort
View
EDCC
2005
Springer
15 years 4 months ago
Structure-Based Resilience Metrics for Service-Oriented Networks
Many governmental agencies and businesses organizations use networked systems to provide a number of services. Such a service-oriented network can be implemented as an overlay on ...
Daniel J. Rosenkrantz, Sanjay Goel, S. S. Ravi, Ja...
BMCBI
2011
14 years 2 months ago
PI: An open-source software package for validation of the SEQUEST result and visualization of mass spectrum
Background: Tandem mass spectrometry (MS/MS) has emerged as the leading method for high- throughput protein identification in proteomics. Recent technological breakthroughs have d...
Yantao Qiao, Hong Zhang, Dongbo Bu, Shiwei Sun
RTA
2005
Springer
15 years 4 months ago
A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code
Proof-carrying code provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set ...
Amy P. Felty
TCS
1998
14 years 10 months ago
Axiomatisation of Functional Dependencies in Incomplete Relations
Incomplete relations are relations which contain null values, whose meaning is \value is at present unknown". Such relations give rise to two types of functional dependency (...
Mark Levene, George Loizou
GI
2009
Springer
14 years 8 months ago
The Perception of Information and Advertisement Screens Mounted in Public Transportation Vehicles
: This research deals with perception of information and advertisement screens mounted in public transport vehicles. We have conducted an exploratory field study with 106 participa...
Norman Höller, Johann Schrammel, Manfred Tsch...