Sciweavers

553 search results - page 24 / 111
» Design Principles for a System to Teach Problem Solving by M...
Sort
View
QSIC
2007
IEEE
14 years 1 months ago
Model Checking Security Pattern Compositions
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
Jing Dong, Tu Peng, Yajing Zhao
IJCNN
2006
IEEE
14 years 1 months ago
Patterns, Hypergraphs and Embodied General Intelligence
—It is proposed that the creation of Artificial General Intelligence (AGI) at the human level and ultimately beyond is a problem addressable via integrating computer science algo...
Ben Goertzel
IADIS
2004
13 years 9 months ago
SPERO - A Personalized Integrated E-Learning System
One of the most important topics in modern Internet-based multimedia e-learning systems oriented towards teachers, students and learners in general, is the treatment of informatio...
Paraskevi K. Tzouveli, Phivos Mylonas, Stefanos D....
FTRTFT
1998
Springer
13 years 11 months ago
Predictability in Critical Systems
Predictability is crucial in critical applications and systems. Therefore, we examine sources of uncertainty for each of the four phases that span a project lifecycle, from initial...
Gérard Le Lann
DATE
2002
IEEE
86views Hardware» more  DATE 2002»
14 years 15 days ago
A Layered, Codesign Virtual Machine Approach to Modeling Computer Systems
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
JoAnn M. Paul, Donald E. Thomas