3765 search results - page 495 / 753 » Formal Methods for Systems Engineering Behavior Models |
146
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management anno...
187
Voted
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
184
click to vote
SFM
2009
Springer
16 years 1 months ago
2009
Springer
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
194
click to vote
WICSA
2008
15 years 8 months ago
2008
During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. However, little attention is being p...
209
click to vote
ECWEB
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. The adoption of mobile technologies into companies frequently follows a technology -driven approach without precise knowledge about the potential benefits that may be rea...