Sciweavers

1692 search results - page 96 / 339
» Applying Science Models for Search
Sort
View
GI
2005
Springer
14 years 2 months ago
Programming in the Large based on the Business Process Modelling Notation
: A software application is related to the processes it supports. Today, UML diagrams esp. use case diagrams and activity diagrams are often used to model the relevant aspects of t...
Christian Emig, Christof Momm, Jochen Weisser, Seb...
IEEEICCI
2003
IEEE
14 years 2 months ago
A Layered Reference Model of the Brain
– A variety of life functions and cognitive processes have been identified in cognitive informatics, psychology, cognitive science, and neurophilosophy. This paper attempts to de...
Yingxu Wang, Shushma Patel, Dilip Patel, Ying Wang
SPIN
2000
Springer
14 years 12 days ago
Model Checking Based on Simultaneous Reachability Analysis
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...
Bengi Karaçali, Kuo-Chung Tai
GI
2009
Springer
13 years 6 months ago
Test your Strategy - Intuitive Strategy Definition and Evaluation for Novices and Experts
: ConnectIT uses a graphical representation to express strategies for playing the connect-four game. With this tool we can transfer complex knowledge about the connect-four game it...
Sven Jörges, Marco Bakera, Tiziana Margaria, ...
HICSS
2008
IEEE
96views Biometrics» more  HICSS 2008»
14 years 3 months ago
Towards a Framework for Evaluating Immersive Business Models: Evaluating Service Innovations in Second Life
Virtual worlds may be enabling technologies for the next generation of business models, practices and innovations in service. We situate our research within the field of service s...
Henry M. Kim, Kelly A. Lyons, Mary Ann Cunningham