3381 search results - page 283 / 677 » Using VCL as an Aspect-Oriented Approach to Requirements Mod... |
164
click to vote
ICSEA
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we propose to use components for managing the increasing complexity in modern vehicular systems. Compared to other approaches, the distinguishing feature of our work...
169
click to vote
CHARME
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
182
Voted
RECOMB
2001
Springer
15 years 11 months ago
2001
Springer
High-throughput, data-directed computational protocols for Structural Genomics (or Proteomics) are required in order to evaluate the protein products of genes for structure and fu...
180
click to vote
MICCAI
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We introduce a new, efficient approach for modelling the deformation of organs following surgical cuts, retractions, and resections. It uses the extended finite element ...
196
click to vote
IS
2007
15 years 6 months ago
2007
As data mining techniques are being increasingly applied to non-traditional domains, existing approaches for finding frequent itemsets cannot be used as they cannot model the req...