211 search results - page 26 / 43 » 04491 Abstracts Collection - Synchronous Programming - SYNCH... |
EMSOFT
2005
Springer
15 years 3 months ago
2005
Springer
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
UM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Economic modeling provides a formal mechanism to understand user incentives and behavior in online systems. In this paper we describe the process of building a parameteri...
68
Voted
AGTIVE
1999
Springer
15 years 1 months ago
1999
Springer
Abstract. Diagrams that serve as a visual input facility for programming environments have to be translated into some kind of semantic description. This paper describes such a meth...
81
Voted
VMCAI
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
ESCIENCE
2005
IEEE
15 years 3 months ago
2005
IEEE
GridXSLT is an implementation of the XSLT programming language designed for distributed web service orchestration. Based on the functional semantics of the language, it compiles p...