Sciweavers

5790 search results - page 281 / 1158
» Distributed programming with distributed authorization
Sort
View
CORR
2011
Springer
151views Education» more  CORR 2011»
14 years 10 months ago
Temporal Probabilistic Logic Programs: State and Revision
There are numerous applications where we have to deal with temporal uncertainty associated with events. The Temporal Probabilistic (TP) Logic Programs should provide support for v...
Zoran Majkic
135
Voted
IPPS
1999
IEEE
15 years 7 months ago
Concurrent Language Support for Interoperable Applications
Current language mechanisms for concurrency are largely isolated to the domain of single programs. Furthermore, increasing interest in concurrent programming encourages further res...
Eugene F. Fodor, Ronald A. Olsson
136
Voted
COORDINATION
2008
Springer
15 years 5 months ago
Advice for Coordination
Abstract. We show how to extend a coordination language with support for aspect oriented programming. The main challenge is how to properly deal with the trapping of actions before...
Chris Hankin, Flemming Nielson, Hanne Riis Nielson...
ENTCS
2010
130views more  ENTCS 2010»
15 years 3 months ago
Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL
Components provide an easy to use programming paradigm allowing for better re-usability of application code. In the context of distributed programming, autonomous hierarchical com...
Ludovic Henrio, Muhammad Uzair Khan
CONCUR
2009
Springer
15 years 1 months ago
BlenX Static and Dynamic Semantics
We introduce a new programming language called BlenX. It is strongly inspired to process calculi and it is an evolution of Betabinders. It has been specifically designed and implem...
Corrado Priami, Paola Quaglia, Alessandro Romanel