Sciweavers

CORR
2010
Springer
92views Education» more  CORR 2010»
13 years 9 months ago
On Packing Colorings of Distance Graphs
The packing chromatic number (G) of a graph G is the least integer k for which there exists a mapping f from V (G) to {1, 2, . . ., k} such that any two vertices of color i
Olivier Togni
CORR
2010
Springer
165views Education» more  CORR 2010»
13 years 9 months ago
Detecting Ontological Conflicts in Protocols between Semantic Web Services
Abstract. The task of verifying the compatibility between interacting web services has traditionally been limited to checking the compatibility of the interaction protocol in terms...
Priyankar Ghosh, Pallab Dasgupta
CORR
2010
Springer
42views Education» more  CORR 2010»
13 years 9 months ago
Flexible Session Management in a Distributed Environment
Zach Miller, Daniel C. Bradley, Todd Tannenbaum, I...
CORR
2010
Springer
74views Education» more  CORR 2010»
13 years 9 months ago
Significance of Classification Techniques in Prediction of Learning Disabilities
The aim of this study is to show the importance of two classification techniques, viz. decision tree and clustering, in prediction of learning disabilities (LD) of school-age chil...
Julie M. David, Kannan Balakrishnan
CORR
2010
Springer
164views Education» more  CORR 2010»
13 years 9 months ago
Ciphertext Policy Attribute based Encryption with anonymous access policy
In Ciphertext Policy Attribute based Encryption scheme, the encryptor can fix the policy, who can decrypt the encrypted message. The policy can be formed with the help of attribut...
A. Balu, K. Kuppusamy
CORR
2010
Springer
90views Education» more  CORR 2010»
13 years 9 months ago
Level Shifter Design for Low Power Applications
With scaling of Vt sub-threshold leakage power is increasing and expected to become significant part of total power consumption.In present work three new configurations of level s...
Manoj Kumar, Sandeep K. Arya, Sujata Pandey
CORR
2010
Springer
53views Education» more  CORR 2010»
13 years 9 months ago
Lumpability Abstractions of Rule-based Systems
ity Abstractions of Rule-based Systems J
Jérôme Feret, Thomas A. Henzinger, He...
CORR
2010
Springer
53views Education» more  CORR 2010»
13 years 9 months ago
Hybrid Calculus of Wrapped Compartments
Mario Coppo, Ferruccio Damiani, Maurizio Drocco, E...
CORR
2010
Springer
102views Education» more  CORR 2010»
13 years 9 months ago
Modeling biological systems with delays in Bio-PEPA
Giulio Caravagna, Jane Hillston
CORR
2010
Springer
64views Education» more  CORR 2010»
13 years 9 months ago
Measurable Stochastics for Brane Calculus
Giorgio Bacci, Marino Miculan