Sciweavers

6253 search results - page 74 / 1251
» Use Case Modeling Guidelines
Sort
View
ICSM
2009
IEEE
15 years 4 months ago
The squale model - A practice-based industrial quality model
ISO 9126 promotes a three-level model of quality (factors, criteria, and metrics) which allows one to assess quality at the top level of factors and criteria. However, it is dif...
Karine Mordal-Manet, Francoise Balmas, Simon Denie...
IJWET
2006
163views more  IJWET 2006»
14 years 9 months ago
A CASE tool for modelling and automatically generating web service-enabled applications
: This paper presents a CASE tool for the high-level specification of web applications integrated with web services. The CASE tool is based on WebML, a conceptual modelling languag...
Marco Brambilla, Stefano Ceri, Sara Comai, Piero F...
COREGRID
2007
Springer
15 years 4 months ago
Interoperability of Grid component models: GCM and CCA case study
This paper presents a case study in the generic design of Grid component models. It defines a framework allowing two component systems, one running in a CCA environment, and anoth...
Maciej Malawski, Marian Bubak, Françoise Ba...
LFCS
2007
Springer
15 years 4 months ago
Model Checking Knowledge and Linear Time: PSPACE Cases
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
Kai Engelhardt, Peter Gammie, Ron van der Meyden
SIMULATION
2011
14 years 4 months ago
The Activity-tracking paradigm in discrete-event modeling and simulation: The case of spatially continuous distributed systems
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...
Alexandre Muzy, Rajanikanth Jammalamadaka, Bernard...