10159 search results - page 1764 / 2032 » System Design Validation Using Formal Models |
170
click to vote
JOT
2007
15 years 6 months ago
2007
This paper describes a Quality of Service (QoS) management approach and architecture as well as a case study for Service Level Management (SLM). Our approach brings in a new persp...
289
click to vote
DLS
2009
15 years 4 months ago
2009
Ruby is a popular, dynamic scripting language that aims to "feel natural to programmers"and give users the"freedom to choose" among many different ways of doin...
223
click to vote
WWW
2011
ACM
15 years 1 months ago
2011
ACM
The clustering coefficient of a node in a social network is a fundamental measure that quantifies how tightly-knit the community is around the node. Its computation can be reduce...
200
click to vote
SIGCOMM
2012
ACM
13 years 9 months ago
2012
ACM
The Internet was designed to always find a route if there is a policycompliant path. However, in many cases, connectivity is disrupted despite the existence of an underlying vali...
180
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
A 2x2 enhanced Wizard-of-Oz experiment (N = 32) was conducted to compare two different approaches to presenting information to drivers in easy and difficult driving conditions. Da...