2620 search results - page 388 / 524 » Qualities in Possible Worlds |
199
click to vote
ECBS
2010
IEEE
15 years 10 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
162
click to vote
COMPSAC
1999
IEEE
15 years 10 months ago
1999
IEEE
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that...
149
click to vote
HICSS
1999
IEEE
15 years 10 months ago
1999
IEEE
Empirical work with "Belvedere," a software environment for the construction of diagrammatic representations of evidential relations, is summarized, leading to the hypot...
179
click to vote
ICMCS
1999
IEEE
15 years 10 months ago
1999
IEEE
Multimedia documents are of importance in several application areas, such as education, training, advertising and entertainment. Since multimedia documents may comprise continuous...
173
click to vote
GIS
1999
ACM
15 years 10 months ago
1999
ACM
An important activity in the design of a particular database application consists in identifying the integrity constraints that must hold on the database, and that are used to det...