1636 search results - page 205 / 328 » Type-Theoretic Functional Semantics |
143
click to vote
SAC
2005
ACM
15 years 9 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...
106
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
We propose a new methodology to look at the fitness contributions (semantics) of different schemata in Genetic Programming (GP). We hypothesize that the significance of a schem...
186
click to vote
VLDB
2005
ACM
15 years 9 months ago
2005
ACM
As increasing amount of data is published in the form of XML, copyright protection of XML data is becoming an important requirement for many applications. While digital watermarki...
142
click to vote
MM
2004
ACM
15 years 9 months ago
2004
ACM
Growing numbers of pervasive devices are gaining access to the Internet. However, much of the existing rich multimedia content cannot be handled by mobile client devices with limi...
140
click to vote
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...