Sciweavers

1704 search results - page 240 / 341
» Design of a Concurrent and Distributed Language
Sort
View
INFOCOM
1998
IEEE
15 years 2 months ago
Implementing Protocols in Java: The Price of Portability
As the number and variety of Web- and network-based applications continues to increase, so does the need for flexible communication protocols and services to support them. Traditi...
Bobby Krupczak, Mostafa H. Ammar, Kenneth L. Calve...
WCRE
1996
IEEE
15 years 2 months ago
Identifying Enumeration Types Modeled with Symbolic Constants
An important challenge in software reengineering is to encapsulate collections of related data that, due to the absence of appropriate constructs for encapsulation in legacy progr...
John M. Gravley, Arun Lakhotia
FORTE
2004
14 years 11 months ago
Introducing the Iteration in sPBC
The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based ...
Hermenegilda Macià, Valentín Valero ...
SIGSOFT
2010
ACM
14 years 7 months ago
Embracing policy engineering
Declarative policies play a central role in many modern software systems. Engineering policies and their interactions with programs raises many interesting open questions. Categor...
Kathi Fisler, Shriram Krishnamurthi, Daniel J. Dou...
TGC
2007
Springer
15 years 4 months ago
A Protocol Compiler for Secure Sessions in ML
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
Ricardo Corin, Pierre-Malo Deniélou