Sciweavers

77016 search results - page 413 / 15404
» Modeling Modeling
Sort
View
ISCIS
2004
Springer
16 years 5 days ago
Software Testing via Model Checking
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
Fevzi Belli, Baris Güldali
ECAI
2008
Springer
15 years 8 months ago
Can URML Model Successfully Drools Rules?
The use of rules in business modeling is becoming more and more important, in applications requiring dynamic change of behavior. A number of rule languages and tools have been prop...
Emilian Pascalau, Adrian Giurca
ER
2007
Springer
104views Database» more  ER 2007»
16 years 29 days ago
Improving Environmental Decision-making: Bridging the Gap between Conceptual Modelling and Quantitative Analyses with Quasta
With regard to environmental decision-making, the field of conceptual modelling is primarily focused on representation and visualisation. As such, the ‘soft’ problem structuri...
Frank van Kouwen, Carel Dieperink, Paul P. Schot, ...
ITS
2004
Springer
166views Multimedia» more  ITS 2004»
16 years 5 days ago
Alternative Views on Knowledge: Presentation of Open Learner Models
This paper describes a study in which individual learner models were built for students and presented to them with a choice of view. Students found it useful, and not confusing to ...
Andrew Mabbott, Susan Bull
ISF
2007
105views more  ISF 2007»
15 years 6 months ago
COSMO: A conceptual framework for service modelling and refinement
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
Dick A. C. Quartel, Maarten W. A. Steen, Stanislav...
« Prev « First page 413 / 15404 Last » Next »