Sciweavers

15644 search results - page 2866 / 3129
» Brittle System Analysis
Sort
View
IFM
2010
Springer
142views Formal Methods» more  IFM 2010»
15 years 5 months ago
An Event-B Approach to Data Sharing Agreements
A Data Sharing Agreement (DSA) is a contract among two or more principals regulating how they share data. Agreements are usually represented as a set of clauses expressed using the...
Alvaro E. Arenas, Benjamin Aziz, Juan Bicarregui, ...
IJCAT
2010
132views more  IJCAT 2010»
15 years 5 months ago
Using weaving models to automate model-driven web engineering proposals
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...
Juan M. Vara, Valeria de Castro, Marcos Didonet De...
IJPP
2010
137views more  IJPP 2010»
15 years 5 months ago
Parallel Option Price Valuations with the Explicit Finite Difference Method
Abstract. We show how computations such as those involved in American or European-style option price valuations with the explicit finite difference method can be performed in par...
Alexandros V. Gerbessiotis
IJRR
2010
112views more  IJRR 2010»
15 years 5 months ago
On the Passive Force Closure Set of Planar Grasps and Fixtures
This paper considers grasps and fixtures whose contacts react according to force-displacement laws consistent with friction constrains at the contacts. The passive force closure s...
Amir Shapiro, Elon Rimon, Shraga Shoval
INFOCOM
2010
IEEE
15 years 5 months ago
On Scheduling for Minimizing End-to-End Buffer Usage over Multihop Wireless Networks
—While there has been much progress in designing backpressure based stabilizing algorithms for multihop wireless networks, end-to-end performance (e.g., end-to-end buffer usage) ...
V. J. Venkataramanan, Xiaojun Lin, Lei Ying, Sanja...
« Prev « First page 2866 / 3129 Last » Next »