Sciweavers

5101 search results - page 153 / 1021
» Capturing Context Requirements
Sort
View
ML
2008
ACM
104views Machine Learning» more  ML 2008»
13 years 8 months ago
Many holes in hindley-milner
We implement statically-typed multi-holed contexts in OCaml using an underlying algebraic datatype augmented with phantom types. Existing approaches require dynamic checks or more...
Sam Lindley
VLDB
2007
ACM
141views Database» more  VLDB 2007»
14 years 2 months ago
Bridging the Application and DBMS Profiling Divide for Database Application Developers
tools for profiling and tuning application code remain disconnected from the profiling and tuning tools for relational DBMSs. This makes it challenging for developers of database ...
Surajit Chaudhuri, Vivek R. Narasayya, Manoj Syama...
INTERSENSE
2006
ACM
14 years 2 months ago
A context-aware middleware platform for autonomous application services in dynamic wireless networks
— Dynamic wireless networks, and especially mobile ad hoc networks, impose new constraints regarding the design and the implementation of service-oriented middleware platforms de...
Nicolas Le Sommer, Frédéric Guidec, ...
ICAC
2008
IEEE
14 years 2 months ago
Utility-Based Reinforcement Learning for Reactive Grids
—Large scale production grids are an important case for autonomic computing. They follow a mutualization paradigm: decision-making (human or automatic) is distributed and largely...
Julien Perez, Cécile Germain-Renaud, Bal&aa...
FMSP
2000
ACM
177views Formal Methods» more  FMSP 2000»
14 years 14 days ago
DSD: A schema language for XML
XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the appli...
Nils Klarlund, Anders Møller, Michael I. Sc...