252 search results - page 35 / 51 » Towards Transformations from BPMN to Heterogeneous Systems |
129
click to vote
CCS
2003
ACM
15 years 7 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
131
click to vote
HASKELL
2006
ACM
15 years 7 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
107
click to vote
EUROPAR
2005
Springer
15 years 7 months ago
2005
Springer
Mobile devices increasingly offer functionality beyond the one provided by traditional resources – processor, memory and applications. This includes, for example, integrated mul...
114
click to vote
ADBIS
2006
Springer
15 years 3 months ago
2006
Springer
Because of information ubiquity, one observes an important trend towards transferring information management tasks from database systems to networks. We introduce the notion of Da...
133
click to vote
EWSPT
2001
Springer
15 years 6 months ago
2001
Springer
We describe an approach based upon software process technology to on-the-fly monitoring, redeployment, reconfiguration, and in general dynamic adaptation of distributed software ap...