1356 search results - page 185 / 272 » A variable-free dynamic semantics |
139
click to vote
ICECCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
144
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
The paper presents an MPEG-7 Multimedia Description Schemes (MDS)-based metadata and user profile model used within an enhanced DTV environment for semantic annotation and person...
145
Voted
SAC
2005
ACM
15 years 10 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
115
click to vote
FSTTCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
175
Voted
LCPC
2005
Springer
15 years 10 months ago
2005
Springer
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...