Sciweavers

2706 search results - page 310 / 542
» The case for a new business model
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Cooperative Maximum Likelihood estimation for fluid flow dynamics in biosensor arrays
Abstract—This paper deals with estimation of the concentration of target molecules in a fluid when it flows past multiple biosensors. The fluid flow is modelled as an advecti...
Maryam Abolfath Beygi, Vikram Krishnamurthy
ICST
2008
IEEE
16 years 1 months ago
State-Based Testing of Ajax Web Applications
Ajax supports the development of rich-client Web applications, by providing primitives for the execution of asynchronous requests and for the dynamic update of the page structure ...
Alessandro Marchetto, Paolo Tonella, Filippo Ricca
FOCS
2007
IEEE
16 years 1 months ago
Buy-at-Bulk Network Design with Protection
We consider approximation algorithms for buy-at-bulk network design, with the additional constraint that demand pairs be protected against edge or node failures in the network. In...
Spyridon Antonakopoulos, Chandra Chekuri, F. Bruce...
ER
2000
Springer
139views Database» more  ER 2000»
15 years 10 months ago
Semantic Analysis Patterns
The development of object-oriented software starts from requirements expressed commonly as Use Cases. The requirements are then converted into a conceptual or analysis model. Analy...
Eduardo B. Fernández, Xiaohong Yuan
STACS
2009
Springer
16 years 1 months ago
Strong Completeness of Coalgebraic Modal Logics
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...
Lutz Schröder, Dirk Pattinson