Sciweavers

3522 search results - page 271 / 705
» Modeling and Aspect Weaving
Sort
View
GRC
2007
IEEE
15 years 10 months ago
Perspectives of Granular Computing in Software Engineering
Granular computing is not only a computing model for computer-centered problem solving, but also a thinking model for human-centered problem solving. Some authors have presented t...
Jianchao Han, Jing Dong
COLT
2006
Springer
15 years 10 months ago
Teaching Randomized Learners
Abstract. The present paper introduces a new model for teaching randomized learners. Our new model, though based on the classical teaching dimension model, allows to study the infl...
Frank J. Balbach, Thomas Zeugmann
SAFECOMP
1998
Springer
15 years 9 months ago
Safety Verification of Software Using Structured Petri Nets
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
Krzysztof Sacha
WSC
2007
15 years 8 months ago
Monte Carlo methods in the physical sciences
I will review the role that Monte Carlo methods play in the physical sciences. They are very widely used for a number of reasons: they permit the rapid and faithful transformation...
Malvin H. Kalos
GEOINFO
2004
15 years 7 months ago
Representing Uncertainty, Profile and Movement History in Mobile Objects Databases
: This paper presents a model of data for mobile objects. The model is represented by spatial-temporal classes with mobility aspects, and represents the route and the trajectories ...
Eduardo Nóbrega, José Tiago Rolim, V...