3429 search results - page 466 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
135
click to vote
ACSD
2003
IEEE
15 years 9 months ago
2003
IEEE
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...
117
click to vote
DEXA
2000
Springer
15 years 8 months ago
2000
Springer
View mechanisms, widely used in the relational databases, pose new questions in the object model which captures much more semantics. In this paper, we will focus on inheritance and...
148
click to vote
ENTCS
2006
15 years 4 months ago
2006
Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We pres...
135
click to vote
ESORICS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs pendent of cryptographic details. The ty...
121
click to vote
JACM
2007
15 years 4 months ago
2007
onal Numbers as an Abstract Data Type1 J A Bergstra2 University of Amsterdam, Informatics Institute, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands J V Tucker3 Department of Com...