523 search results - page 90 / 105 » A Formal Account of WS-BPEL |
POPL
1990
ACM
15 years 1 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
ISARCS
2010
15 years 1 months ago
2010
Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...
80
Voted
PKC
2010
Springer
15 years 1 months ago
2010
Springer
Sanitizable signatures allow a designated party, called the sanitizer, to modify parts of signed data such that the immutable parts can still be verified with respect to the origi...
89
Voted
GLOBECOM
2009
IEEE
15 years 1 months ago
2009
IEEE
Underwater communication is a challenging topic due to its singular channel characteristics. Most protocols used in terrestrial wireless communication can not be directly applied i...
ARGMAS
2006
Springer
15 years 1 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...