399 search results - page 43 / 80 » Verification of System Level Model Transformations |
104
Voted
FASE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. E-government services usually process large amounts of confidential data. Therefore, security requirements for the communication between components have to be adhered in...
137
Voted
FAC
2000
15 years 2 months ago
2000
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
141
click to vote
TACAS
2010
Springer
15 years 13 days ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
107
click to vote
JLP
2008
15 years 2 months ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...
127
Voted
TIME
2000
IEEE
15 years 7 months ago
2000
IEEE
In spatiotemporal applications, meaningful changes vary according to object type, level of detail, and nature of application. In this paper, we introduce a dynamic classification ...