Sciweavers

1615 search results - page 103 / 323
» Adaptive programming in JAsCo
Sort
View
AVI
2006
13 years 11 months ago
Input interactions and context component based modelisations: differences and similarities
Since several years, ubiquitous computing and pervasive computing has emerged and, in particular, context-aware computing. Using mobile devices, the context is perpetually evolvin...
Diane Lingrand, Michel Riveill
APAL
2008
104views more  APAL 2008»
13 years 10 months ago
Infinite trace equivalence
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...
Paul Blain Levy
JUCS
2008
117views more  JUCS 2008»
13 years 10 months ago
Disentangling Denotational Semantics Definitions
Abstract: Denotational semantics is a powerful technique to formally define programming languages. However, language constructs are not always orthogonal, so many semantic equation...
Fabio Tirelo, Roberto da Silva Bigonha, Joã...
JWE
2006
101views more  JWE 2006»
13 years 10 months ago
Reactivity on the Web: Paradigms and Applications of the Language XChange
Reactivity on the Web is an emerging issue. It is essential for upcoming Web systems such as online marketplaces, adaptive, Semantic Web systems as well as Web services and Grids....
François Bry, Michael Eckert, Paula-Lavinia...
SCL
2008
86views more  SCL 2008»
13 years 10 months ago
Control design in the time and frequency domain using nonsmooth techniques
Significant progress in control design has been achieved by the use of nonsmooth and semiinfinite mathematical programming techniques. In contrast with LMI or BMI approaches, thes...
Vincent Bompart, Pierre Apkarian, Dominikus Noll