857 search results - page 68 / 172 » Compositional Semantics in Verbmobil |
134
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
Studies of Aspect-Oriented Programming (AOP) usually focus on a language in which a specific aspect extension is integrated with a base language. Languages specified in this man...
178
click to vote
SOCO
2005
Springer
15 years 11 months ago
2005
Springer
Due to the large success of wireless networks and portable devices, the pervasive computing paradigm is becoming a reality. One of the most challenging objectives to be achieved in...
148
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic spec...
192
click to vote
ECMDAFA
2006
Springer
15 years 9 months ago
2006
Springer
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...
286
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...