Sciweavers

419 search results - page 64 / 84
» Strategic Evaluation in Complex Domains
Sort
View
RE
2001
Springer
14 years 26 days ago
Virtual Environment Modeling for Requirements Validation of High Consequence Systems
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
Victor L. Winter, Dejan Desovski, Bojan Cukic
APSEC
2000
IEEE
14 years 26 days ago
Platforms for agent-oriented software engineering
of modelling abstractions to map from items in the real-world to objects in the computational domain is oth for the effective implementation of abstract problem solutions and for ...
Mariusz Nowostawski, Geoff Bush, Martin K. Purvis,...
HICSS
1998
IEEE
176views Biometrics» more  HICSS 1998»
14 years 21 days ago
Intelligent System for Reading Handwriting on Forms
The National Institute of Standards and Technology (NIST) has developed a form-based handprint recognition system for reading information written on forms. This public domain soft...
Michael D. Garris
ICCHP
2010
Springer
14 years 13 days ago
Mental Models of Menu Structures in Diabetes Assistants
Abstract. Demographic change in regard to an aging population with an increasing amount of diabetes patients will put a strain on health care rentability in all modern societies. E...
André Calero Valdez, Martina Ziefle, Firat ...
SP
2010
IEEE
140views Security Privacy» more  SP 2010»
14 years 9 days ago
Inspector Gadget: Automated Extraction of Proprietary Gadgets from Malware Binaries
Abstract—Unfortunately, malicious software is still an unsolved problem and a major threat on the Internet. An important component in the fight against malicious software is the...
Clemens Kolbitsch, Thorsten Holz, Christopher Krue...