4258 search results - page 445 / 852 » Languages and Interactive Software Development |
128
click to vote
APSEC
2003
IEEE
15 years 8 months ago
2003
IEEE
Using the language Z for more than specification is hindered by the fact that its algebra of schemas is not monotonic with respect to refinement; so specification is modular, but ...
121
Voted
FSTTCS
2000
Springer
15 years 8 months ago
2000
Springer
This paper reports on results concerning the combination of non-standard semantics via interpreters. We define what a semantics combination means and identify under which condition...
130
click to vote
SIMPAR
2010
15 years 3 months ago
2010
Middleware has a key role in modern and object-oriented robotics frameworks, which aim at developing reusable, scalable and maintainable systems using different platforms and prog...
116
click to vote
VMCAI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
159
Voted
UM
2005
Springer
15 years 10 months ago
2005
Springer
This research aims at reconciling web personalization with privacy constraints imposed by legal restrictions and by users’ privacy preferences. We propose a software product line...