Sciweavers

1175 search results - page 138 / 235
» A Model for Structural Changes of Belief
Sort
View
EUROMICRO
1996
IEEE
15 years 10 months ago
Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
Jeroen Voeten, P. H. A. van der Putten, M. P. J. S...
WEBI
2010
Springer
15 years 4 months ago
Stochastic Simulation of Web Users
A biologically inspired cognitive model is presented for human decision making and applied to the simulation of the web user. The model is based on the Neurophysiology description ...
Pablo E. Román, Juan D. Velásquez
HCW
1999
IEEE
15 years 10 months ago
Multiple Cost Optimization for Task Assignment in Heterogeneous Computing Systems Using Learning Automata
A framework for task assignment in heterogeneous computing systems is presented in this work. The framework is based on a learning automata model. The proposed model can be used f...
Raju D. Venkataramana, N. Ranganathan
ICMT
2011
Springer
14 years 10 months ago
Toward Bidirectionalization of ATL with GRoundTram
ATL is a language for describing model transformations currently in uni-direction. In our previous work we have shown that transformations of graph structures given in some form ca...
Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhi...
ENGL
2008
111views more  ENGL 2008»
15 years 5 months ago
Frameworks of Process Improvement for Mobile Applications
Mobile application development belongs on the complicated, but quite regular software development environment that includes many different solutions possibilities in the developmen...
Haeng-Kon Kim