Sciweavers

913 search results - page 92 / 183
» Toward Formalizing Structured Analysis
Sort
View
ADAEUROPE
2003
Springer
14 years 22 days ago
Quasar: A New Tool for Concurrent Ada Programs Analysis
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the conce...
Sami Evangelista, Claude Kaiser, Jean-Franç...
EDBT
2006
ACM
266views Database» more  EDBT 2006»
14 years 9 months ago
From Analysis to Interactive Exploration: Building Visual Hierarchies from OLAP Cubes
We present a novel framework for comprehensive exploration of OLAP data by means of user-defined dynamic hierarchical visualizations. The multidimensional data model behind the OLA...
Svetlana Vinnik, Florian Mansmann
COLING
1990
13 years 10 months ago
A Type-theoretical Analysis of Complex Verb Generation
Tense and aspect, together with mood and modality, usually form the entangled structure of a complex verb. They are often hard to translate by machines, because of both syntactic ...
Satoshi Tojo
BC
2007
77views more  BC 2007»
13 years 9 months ago
Deterministic analysis of stochastic bifurcations in multi-stable neurodynamical systems
Many perceptual and cognitive processes, like decision-making and bistable perception, involve multistable phenomena under the influence of noise. The role of noise in a multistab...
Gustavo Deco, Daniel Martí
ENTCS
2008
156views more  ENTCS 2008»
13 years 9 months ago
Schedulability Criteria and Analysis for Dynamic and Flexible Resource Management
The Flexible Resource Manager (FRM) is a dynamic resource management approach that allows a better utilization of the available resources. However, it necessitates an atomic recon...
Hermann Simon Lichte, Simon Oberthür