Sciweavers

1622 search results - page 187 / 325
» Deriving Software Process Simulation Model from SPEM-based S...
Sort
View
APSEC
1995
IEEE
15 years 6 months ago
Development of Distributed Applications with Separation of Concerns
The development of distributed applications is an open area involving researchers from different communities. We propose an object-oriented approach to the development of distribu...
António Rito Silva, Pedro Sousa, José...
120
Voted
GRAPHICSINTERFACE
2001
15 years 3 months ago
Novel Solver for Dynamic Surfaces
Physics-based modeling integrates dynamics and geometry. The standard methods to solve the Lagrangian equations use a direct approach in the spatial domain. Though extremely power...
Sumantro Ray, Hong Qin
135
Voted
HICSS
2003
IEEE
151views Biometrics» more  HICSS 2003»
15 years 7 months ago
An Evaluation of Applying Use Cases to Construct Design versus Validate Design
Use case models capture and describe the functional requirements of a software system. A use case driven development process, where a use case model is the principal basis for con...
Erik Syversen, Bente Anda, Dag I. K. Sjøber...
118
Voted
ICASSP
2011
IEEE
14 years 6 months ago
Multidimensional ICA and its performance analysis applied to CMB observations
This paper deals with multidimensional ICA and its performance analysis, applied to cosmological observations. Our purpose is the separation of the cosmic microwave background rad...
Dana Lahat, Jean-François Cardoso, Maude Le...
EUROCAST
2007
Springer
131views Hardware» more  EUROCAST 2007»
15 years 6 months ago
Efficient Model Checking of Applications with Input/Output
Most non-trivial applications use some form of input/output (I/O), such as network communication. When model checking such an application, a simple state space exploration scheme i...
Cyrille Artho, Boris Zweimüller, Armin Biere,...