Sciweavers

11051 search results - page 26 / 2211
» An Investigation of Generalized Cases
Sort
View
OWLED
2008
13 years 9 months ago
The OWL of Biomedical Investigations
The Ontology for Biomedical Investigations (OBI), written in OWL DL, is being developed by a large consortium seeking to provide a crossdomain, shared framework for representing in...
Mélanie Courtot, William Bug, Frank Gibson,...
CCS
2008
ACM
13 years 9 months ago
Secure neighbor discovery in wireless networks: formal investigation of possibility
Wireless communication enables a broad spectrum of applications, ranging from commodity to tactical systems. Neighbor discovery (ND), that is, determining which devices are within...
Marcin Poturalski, Panos Papadimitratos, Jean-Pier...
HICSS
2008
IEEE
109views Biometrics» more  HICSS 2008»
14 years 2 months ago
Understanding the Blog Service Switching in Hong Kong: An Empirical Investigation
Blogs have become an increasingly popular form of displaying online content for general Internet users. Attracting new bloggers and retaining existing bloggers are crucial to blog...
Kem Z. K. Zhang, Christy M. K. Cheung, Matthew K. ...
PEWASUN
2005
ACM
14 years 1 months ago
Investigating unfairness scenarios in MANET using 802.11b
An experimental study of MANET using 802.11b has shown that there exist several configurations where this standard does not guarantee fairness for the channel access. In this pap...
Leïla Kloul, Fabrice Valois
CORR
2006
Springer
100views Education» more  CORR 2006»
13 years 7 months ago
Using groups for investigating rewrite systems
We describe several technical tools that prove to be efficient for investigating the rewrite systems associated with an equational specification. These tools consist in introducing...
Patrick Dehornoy