Sciweavers

2784 search results - page 428 / 557
» Light analysis of complex systems
Sort
View
CONSTRAINTS
2004
116views more  CONSTRAINTS 2004»
13 years 9 months ago
Decision Tradeoff Using Example-Critiquing and Constraint Programming
We consider constructive preference elicitation for decision aid systems in applications such as configuration or electronic catalogs. We are particularly interested in supporting ...
Pearl Pu, Boi Faltings
DSS
2000
122views more  DSS 2000»
13 years 9 months ago
Project portfolio selection through decision support
Project portfolio selection is a crucial decision in many organizations, which must make informed decisions on investment, where the appropriate distribution of investment is comp...
Fereidoun Ghasemzadeh, Norman P. Archer
HF
2002
95views more  HF 2002»
13 years 9 months ago
Formal Verification of Human-Automation Interaction
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
Asaf Degani, Michael Heymann
CODES
2006
IEEE
14 years 3 months ago
Methodology for attack on a Java-based PDA
Although mobile Java code is frequently executed on many wireless devices, the susceptibility to electromagnetic (EM) attacks is largely unknown. If analysis of EM waves emanating...
Catherine H. Gebotys, Brian A. White
ICSM
2008
IEEE
14 years 3 months ago
Understanding the rationale for updating a function's comment
Up-to-date comments are critical for the successful evolution of a software application. When modifying a function, developers may update the comment associated with the function ...
Haroon Malik, Istehad Chowdhury, Hsiao-Ming Tsou, ...