1078 search results - page 155 / 216 » Modelling and Verifying of e-Commerce Systems |
157
click to vote
FMCO
2003
Springer
15 years 9 months ago
2003
Springer
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
143
click to vote
CAV
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...
137
click to vote
CODES
1999
IEEE
15 years 8 months ago
1999
IEEE
o much higher levels of abstraction than today's design practices, which are usually at the level of synthesizable RTL for custom hardware or Instruction Set Simulator (ISS) f...
125
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Class diagrams must be complemented with a set of system operations that describes how users can modify and evolve the system state. To be useful, such a set must be complete (i.e....
158
click to vote
PVLDB
2010
14 years 11 months ago
2010
Experience with relational systems has shown that distribution is an effective way of improving the scalability of query evaluation. In this paper, we show how distributed query e...