2604 search results - page 410 / 521 » General constant expressions for system programming language... |
148
Voted
JLP
2010
14 years 11 months ago
2010
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...
138
click to vote
WWW
2002
ACM
16 years 4 months ago
2002
ACM
Multimedia scheduling models provide a rich variety of tools for managing the synchronization of media like video and audio, but generally have an inflexible model for time itself...
136
click to vote
SIGMOD
2010
ACM
15 years 8 months ago
2010
ACM
Many advanced data management operations (e.g., incremental maintenance, trust assessment, debugging schema mappings, keyword search over databases, or query answering in probabil...
138
click to vote
DBPL
1995
Springer
15 years 7 months ago
1995
Springer
We study the problem of maintaining recursively-de ned views, such as the transitive closure of a relation, in traditional relational languages that do not have recursion mechanis...
135
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...