1696 search results - page 216 / 340 » Knowledgeable development environments using shared design m... |
158
click to vote
DSVIS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
176
click to vote
WOWMOM
2009
ACM
16 years 27 days ago
2009
ACM
Wireless mesh networks are primarily used to provide Internet access by sharing the Internet connections of a limited number of gateways. If traffic is routed in the mesh without...
135
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract-- The problem of private information "leakage" (inadvertently or by malicious design) from the myriad large centralized searchable data repositories drives the n...
156
click to vote
ACMACE
2007
ACM
15 years 10 months ago
2007
ACM
Recently a new generation of virtual worlds has emerged in which users are provided with open-ended modelling tools with which they can create and modify world content. The result...
153
click to vote
IJSC
2008
15 years 6 months ago
2008
ifferent abstraction levels, resulting in isolated `information silos'. An increasing number of task-specific software tools aim to support developers, but this often results ...