Sciweavers

3435 search results - page 187 / 687
» Aspect Model Unweaving
Sort
View
LSSC
2007
Springer
16 years 19 days ago
An Ant-Based Model for Multiple Sequence Alignment
Abstract. Multiple sequence alignment is a key process in today’s biology, and finding a relevant alignment of several sequences is much more challenging than just optimizing so...
Frédéric Guinand, Yoann Pigné
ICESS
2005
Springer
16 years 1 hour ago
Formalization of fFSM Model and Its Verification
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
Sachoun Park, Gihwon Kwon, Soonhoi Ha
AFRIGRAPH
2004
ACM
15 years 12 months ago
Interactive modelling from sketches using spherical implicit functions
We present an interactive modelling technique, which reconstructs three-dimensional objects from user-drawn twodimensional strokes. We first extract a skeleton from the 2D contour...
Ileana Anca Alexe, Véronique Gaildrat, Lo&i...
EWSA
2004
Springer
15 years 12 months ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
ICWE
2004
Springer
15 years 12 months ago
Modeling User Input and Hypermedia Dynamics in Hera
Abstract. Methodologies for the engineering of Web applications typically provide models that drive the generation of the hypermedia navigation structure in the application. Most o...
Geert-Jan Houben, Flavius Frasincar, Peter Barna, ...