11909 search results - page 1995 / 2382 » The Scheme Programming Language |
182
click to vote
IFIP
2007
Springer
16 years 29 days ago
2007
Springer
New mobile computing technologies and the increasing use of portable devices have pushed the development of the so-called context-aware applications. This new class of applications...
213
click to vote
IFIP
2007
Springer
16 years 29 days ago
2007
Springer
Many large-scale Internet applications optimize their overlay network to reduce latencies. Embedding coordinate systems like Vivaldi are valuable tools for this new range of applic...
169
click to vote
IFIP
2007
Springer
16 years 29 days ago
2007
Springer
The paper deals with the numerical treatment of optimal control problems with bounded distributed controls and elliptic state equations by a wider class of barrier-penalty methods...
198
click to vote
IFM
2007
Springer
16 years 29 days ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
204
click to vote
LFCS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...