349 search results - page 49 / 70 » The feature construct for SMV: Semantics |
174
click to vote
POPL
2005
ACM
16 years 4 days ago
2005
ACM
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...
108
click to vote
PPDP
2005
Springer
15 years 5 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
A semantically meaningful image hierarchy can ease the human effort in organizing thousands and millions of pictures (e.g., personal albums), and help to improve performance of en...
CCGRID
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper presents “Self-Chord”, a bio-inspired P2P algorithm that can be profitably adopted to build the information service of distributed systems, in particular Computati...