746 search results - page 52 / 150 » Formal Analysis of UML-Based Designs |
142
click to vote
SEDE
2010
14 years 11 months ago
2010
New emerging scientific applications in geosciences, sensor and spatio-temporal domains require adaptive analysis frameworks that can handle large datasets with multiple dimension...
IPPS
1996
IEEE
15 years 6 months ago
1996
IEEE
Advances in multiprocessor interconnect technologyare leading to high performance networks. However, software overheadsassociated with message passing are limiting the processors ...
112
click to vote
ICWE
2010
Springer
15 years 3 months ago
2010
Springer
: The use of patterns in data management is not new: in data warehousing, data marts are simple conceptual schemas with exactly one core entity, describing facts, surrounded by mul...
125
Voted
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
We seek to increase user confidence in simulations as they are adapted to meet new requirements. Our approach includes formal representation of uncertainty, lightweight validation,...
114
click to vote
KER
2008
15 years 1 months ago
2008
This article surveys existing practical implementations of both defeasible and argumentationbased reasoning engines and associated literature. We aim to summarise the current stat...