2328 search results - page 312 / 466 » Component Frameworks - A Case Study |
137
click to vote
FORMATS
2010
Springer
15 years 2 months ago
2010
Springer
SMT solvers have traditionally been based on the DPLL(T) algorithm, where the driving force behind the procedure is a DPLL search over truth valuations. This traditional framework ...
171
Voted
ICST
2010
IEEE
15 years 2 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
160
Voted
ICC
2009
IEEE
15 years 2 months ago
2009
IEEE
The survivability of backbone networks to failures is an on-going concern. This paper investigates survivability strategies for IP-over-WDM networks in a multi-layer framework wher...
155
click to vote
SIAMSC
2011
14 years 12 months ago
2011
In this paper we describe a general framework for deriving modified equations for stochastic differential equations with respect to weak convergence. Modified equations are deri...
198
Voted
IANDO
2010
14 years 11 months ago
2010
This paper investigates how innovation of ICT based services takes place within existing infrastructures, including the whole network of technology, vendors and customers. Our res...