4008 search results - page 690 / 802 » An expressive language of signatures |
279
click to vote
COORDINATION
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We introduce an object-oriented referencing abstraction to express coordination between objects hosted on mobile devices interconnected by a wireless ad hoc network. On t...
151
click to vote
DBPL
2007
Springer
16 years 15 days ago
2007
Springer
The widespread adoption of XML has led to programming languages that support XML as a first class construct. In this paper, we present a method for analyzing and optimizing impera...
157
click to vote
ECOWS
2007
Springer
16 years 15 days ago
2007
Springer
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServicesOriented Archit...
179
click to vote
ESORICS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
165
click to vote
GTTSE
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. This tutorial explores the design space of heterogeneous synchronization, which is concerned with establishing consistency among artifacts that conform to different sche...