1060 search results - page 99 / 212 » Mechanized semantics |
136
Voted
ADBIS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. XML views can be used in Web applications to resolve incompatibilities among heterogeneous XML sources. They allow to reduce the amount of data that a user has to deal wi...
152
Voted
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
136
Voted
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
136
Voted
PERCOM
2010
ACM
15 years 2 months ago
2010
ACM
—In the environments where heterogeneous devices need to share information, utilize services of each other, and participate as components in various smart applications, it is com...
111
Voted
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objects often contain boilerplate code for mapping database fields to cl...