10182 search results - page 1538 / 2037 » Case Studies |
205
click to vote
VISUALIZATION
2005
IEEE
16 years 24 days ago
2005
IEEE
Simulations often generate large amounts of data that require use of SciVis techniques for effective exploration of simulation results. In some cases, like 1D theory of fluid dyn...
268
click to vote
CAV
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
191
click to vote
UML
2005
Springer
16 years 20 days ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
189
click to vote
ECWEB
2004
Springer
16 years 18 days ago
2004
Springer
This paper presents how text -mining techniques can be used to analyze an enterprise’s external environment searching for competitors, related products and services, marketing st...
187
click to vote
AOSD
2003
ACM
16 years 14 days ago
2003
ACM
An effective requirements engineering (RE) approach must harmonise the need to achieve separation of concerns with the need to satisfy broadly scoped requirements and constraints....