Sciweavers

2725 search results - page 203 / 545
» A framework for P2P application development
Sort
View
IANDC
2008
120views more  IANDC 2008»
15 years 3 months ago
A framework for compositional verification of security protocols
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
Suzana Andova, Cas J. F. Cremers, Kristian Gj&osla...
169
Voted
RTS
2002
177views more  RTS 2002»
15 years 3 months ago
Feedback Control Real-Time Scheduling: Framework, Modeling, and Algorithms
This paper presents a Feedback Control real-time Scheduling (FCS) framework for adaptive realtime systems. An advantage of the FCS framework is its use of feedback control theory ...
Chenyang Lu, John A. Stankovic, Sang Hyuk Son, Gan...
108
Voted
RECOMB
2006
Springer
16 years 3 months ago
Markov Additive Chains and Applications to Fragment Statistics for Peptide Mass Fingerprinting
Abstract. Peptide mass fingerprinting is a technique to identify a protein from its fragment masses obtained by mass spectrometry after enzymatic digestion. Recently, much attentio...
Hans-Michael Kaltenbach, Sebastian Böcker, Sv...
140
Voted
WWW
2007
ACM
16 years 4 months ago
A management and performance framework for semantic web servers
The unification of Semantic Web query languages under the SPARQL standard and the development of commercial-quality implementations are encouraging industries to use semantic tech...
Malena R. Mesarina, Venugopal Srinivasmurthy, Nic ...
122
Voted
ETS
2006
IEEE
119views Hardware» more  ETS 2006»
15 years 3 months ago
An Ontology-Based Framework for Bridging Learning Design and Learning Content
The paper describes an ontology-based framework for bridging learning design and learning object content. In present solutions, researchers have proposed conceptual models and dev...
Colin Knight, Dragan Gasevic, Griff Richards