33 search results - page 2 / 7 » A language for specifying type contracts in Erlang and its i... |
ENTCS
2000
13 years 7 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
SPATIALCOGNITION
2000
Springer
13 years 11 months ago
2000
Springer
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...
APSEC
2003
IEEE
14 years 25 days ago
2003
IEEE
The interface definition of a component in a distributed system forms the contract between the component itself and its neighbouring components regarding the use of its services....
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Many information systems (IS) studies portray use as an indicator of system success. However, “simply saying that more use will yield more benefits without considering the natur...
ACTA
2005
13 years 7 months ago
2005
MoMi (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MoMi's key idea is structuri...