Sciweavers

5754 search results - page 220 / 1151
» Multi-class Model M
Sort
View
CAISE
2005
Springer
16 years 3 days ago
A Concern-Oriented Requirements Engineering Model
Traditional requirements engineering approaches suffer from the tyranny of the dominant decomposition, with functional requirements serving as the base decomposition and non-functi...
Ana M. D. Moreira, João Araújo, Awai...
ERLANG
2004
ACM
15 years 12 months ago
On modelling agent systems with Erlang
Multi-agent systems are a kind of concurrent distributed systems. In this work, some guidelines on how to create multi-agent systems using Erlang are presented. The modelled syste...
Carlos Varela, Carlos Abalde, Laura M. Castro, Jos...
MICCAI
2004
Springer
15 years 12 months ago
Modelling Surgical Cuts, Retractions, and Resections via Extended Finite Element Method
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 ...
Lara M. Vigneron, Jacques G. Verly, Simon K. Warfi...
PADL
2004
Springer
15 years 12 months ago
Pruning in the Extended Andorra Model
One of the major problems that actual logic programming systems have to address is whether and how to prune undesirable parts of the search space. A region of the search space woul...
Ricardo Lopes, Vítor Santos Costa, Fernando...
ISVLSI
2003
IEEE
138views VLSI» more  ISVLSI 2003»
15 years 11 months ago
Bouncing Threads: Merging a New Execution Model into a Nanotechnology Memory
The need for small, high speed, low power computers as the end of Moore’s law approaches is driving research into nanotechnology. These novel devices have significantly differe...
Sarah E. Frost, Arun Rodrigues, Charles A. Giefer,...