Sciweavers

1830 search results - page 167 / 366
» Centering in Dynamic Semantics
Sort
View
ICFP
2002
ACM
15 years 11 months ago
Typing dynamic typing
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...
Arthur I. Baars, S. Doaitse Swierstra
WWW
2010
ACM
15 years 6 months ago
Facetedpedia: dynamic generation of query-dependent faceted interfaces for wikipedia
We propose Facetedpedia, a faceted retrieval system for information discovery and exploration in Wikipedia. Given the set of Wikipedia articles resulting from a keyword query, Fac...
Chengkai Li, Ning Yan, Senjuti Basu Roy, Lekhendro...
PERCOM
2009
ACM
15 years 6 months ago
A Dynamic Platform for Runtime Adaptation
—We present a middleware platform for assembling pervasive applications that demand fault-tolerance and adaptivity in distributed, dynamic environments. Unlike typical adaptive m...
Hubert Pham, Justin Mazzola Paluska, Umar Saif, Ch...
91
Voted
CEC
2009
IEEE
15 years 6 months ago
Mobile processes, mobile channels and complex dynamic systems
— This paper explores a process-oriented approach to complex systems design, using massive fine-grained concurrency, mobile channels and mobile processes. The complex systems st...
Eric Bonnici, Peter H. Welch
FM
2009
Springer
190views Formal Methods» more  FM 2009»
15 years 6 months ago
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu