1411 search results - page 89 / 283 » Case Studies of an Insider Framework |
112
click to vote
ISCC
2006
IEEE
15 years 5 months ago
2006
IEEE
Examining the validity or accuracy of proposed available bandwidth estimation tools remains a challenging problem. A common approach consists of evaluating a newly developed tool ...
BNCOD
2001
15 years 12 days ago
2001
The core idea of the Semantic Web is to make information accessible to human and software agents on a semantic basis. Hence, web sites may feed directly from the Semantic Web explo...
ENTCS
2007
14 years 11 months ago
2007
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
107
click to vote
INFORMATICALT
2007
14 years 11 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
INFOCOM
2010
IEEE
14 years 9 months ago
2010
IEEE
—Network coding has been proposed as a technique that can potentially increase the transport capacity of a wireless network via processing and mixing of data packets at intermedi...