Sciweavers

4290 search results - page 578 / 858
» Formal Approaches to Teamwork
Sort
View
ICALT
2007
IEEE
16 years 1 months ago
The TenC Competence Observatory: An Enabling Technology for Common Description of Competences
Over the years competence-based approaches in the field of formal and non-formal education are becoming more common and appear to offer the opportunity to develop flexible e-train...
Panayiotis Zervas, Demetrios G. Sampson
IWPSE
2007
IEEE
16 years 1 months ago
Modification analysis support at the requirements level
Modification analysis is part of most maintenance processes and includes among other activities, early prediction of potential change impacts, feasibility studies, cost estimation...
Maryam Shiri, Jameleddine Hassine, Juergen Rilling
MEMOCODE
2007
IEEE
16 years 1 months ago
Combining Multi-Valued Logics in SAT-based ATPG for Path Delay Faults
Due to the rapidly growing speed and the decreasing size of gates in modern chips, the probability of faults caused by the production process grows. Already small variations lead ...
Stephan Eggersglüß, Görschwin Fey,...
TASE
2007
IEEE
16 years 1 months ago
Automating Language Evolution
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...
Markus Pizka, Elmar Jürgens
AI
2007
Springer
16 years 27 days ago
Constructing a User Preference Ontology for Anti-spam Mail Systems
The judgment that whether an email is spam or non-spam may vary from person to person. Different individuals can have totally different responses to the same email based on their p...
Jongwan Kim, Dejing Dou, Haishan Liu, Donghwi Kwak