Sciweavers

424 search results - page 25 / 85
» Recent Advances in Declarative Networking
Sort
View
QEST
2007
IEEE
14 years 1 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
CSMR
2009
IEEE
14 years 10 days ago
Application of TreeNet in Predicting Object-Oriented Software Maintainability: A Comparative Study
There is an increasing interest in more accurate prediction of software maintainability in order to better manage and control software maintenance. Recently, TreeNet has been prop...
Mahmoud O. Elish, Karim O. Elish
ANCS
2009
ACM
13 years 5 months ago
OASis: towards extensible open-architecture services platforms
In this paper, we propose an extensible Open-Architecture Services platform (OASis) for high-performance network processing. OASis embraces recent advances of open technologies, i...
Yaxuan Qi, Fei He, Xiang Wang, Xinming Chen, Yibo ...
ADHOC
2011
12 years 11 months ago
QuRiNet: A wide-area wireless mesh testbed for research and experimental evaluations
—Research in wireless mesh networks have been growing in recent years. Many testbeds have been created to study networking protocols in wireless mesh networks. In this work, we d...
Daniel Wu, Dhruv Gupta, Prasant Mohapatra
USS
2010
13 years 5 months ago
ZKPDL: A Language-Based System for Efficient Zero-Knowledge Proofs and Electronic Cash
In recent years, many advances have been made in cryptography, as well as in the performance of communication networks and processors. As a result, many advanced cryptographic pro...
Sarah Meiklejohn, C. Christopher Erway, Alptekin K...