8495 search results - page 1343 / 1699 » IT Support for Healthcare Processes |
194
click to vote
CAV
1998
Springer
15 years 12 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
254
click to vote
DSVIS
1998
Springer
15 years 12 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
177
click to vote
GI
1998
Springer
15 years 12 months ago
1998
Springer
Computing aggregates over selected categories of multidimensional discrete data (MDD) cubes is the core operation of many on-line analytical processing (OLAP) systems. In order to...
222
click to vote
ICSE
1998
IEEE-ACM
15 years 12 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
194
click to vote
IEAAIE
1998
Springer
15 years 12 months ago
1998
Springer
The users of libraries of object-oriented software components face with both a terminological and a cognitive gap. Usually, library users do not understand the vocabulary used in t...