Sciweavers

9989 search results - page 208 / 1998
» A CLP Approach to Modelling Systems
Sort
View
145
Voted
COORDINATION
2006
Springer
15 years 8 months ago
Automated Evaluation of Coordination Approaches
How to coordinate the processes in a complex component-based software system is a nontrivial issue. Many different coordination approaches exist, each with its own specific advanta...
Tibor Bosse, Mark Hoogendoorn, Jan Treur
ETFA
2005
IEEE
15 years 10 months ago
Reuse of components in formal modeling and verification of distributed control systems
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
Valeriy Vyatkin, Hans-Michael Hanisch
ICCBR
2005
Springer
15 years 10 months ago
CBR for Modeling Complex Systems
This paper describes how CBR can be used to compare, reuse, and adapt inductive models that represent complex systems. Complex systems are not well understood and therefore require...
Rosina Weber, Jason M. Proctor, Ilya Waldstein, An...
157
Voted
HICSS
2005
IEEE
162views Biometrics» more  HICSS 2005»
15 years 10 months ago
An Agent-Based Approach to Study Virtual Learning Communities
This paper focuses on agent-based approach to study the relationship between the individual behavior of participants and the overall development of a virtual community, to help pe...
Yiwen Zhang, Mohan Tanniru
VOTEID
2007
Springer
15 years 11 months ago
Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach
Performing a good security analysis on the design of a system is an essential step in order to guarantee a reasonable level of protection. However, different attacks and threats m...
Komminist Weldemariam, Adolfo Villafiorita, Andrea...