Sciweavers

4418 search results - page 504 / 884
» A Formal Approach to Computer Systems Requirements Documenta...
Sort
View
STTT
2008
162views more  STTT 2008»
15 years 6 months ago
Coping with large design spaces: design problem solving in fluidic engineering
Abstract This paper is about tool support for knowledgeintensive engineering tasks. In particular, it introduces software technology to assist the design of complex technical syste...
Benno Stein
COMPSAC
2009
IEEE
15 years 4 months ago
Towards Call for Testing: An Application to User Acceptance Testing of Web Applications
1 The paper proposes a new test model, Call-For-Testing (CFT), and applies it to User Acceptance Testing (UAT) of Web Applications. Different from traditional approaches, UAT in th...
Lian Yu, Wei Zhao, Xiaofeng Di, Changzhu Kong, Wen...
ACSE
1996
ACM
15 years 11 months ago
Integrating professional skills into the curriculum
The need for the teaching of professional skills to undergraduates in areas such as communications, team work, conflict resolution, and ethics has for some time been articulated b...
John Lamp, Chris Keen, Cathy Urquhart
ICASSP
2011
IEEE
14 years 10 months ago
Efficient NLMS and RLS algorithms for a class of nonlinear filters using periodic input sequences
The paper discusses computationally efficient NLMS and RLS algorithms for a broad class of nonlinear filters using periodic input sequences. The class comprises all nonlinear ...
Alberto Carini, V. John Mathews, Giovanni L. Sicur...
SOFSEM
2009
Springer
16 years 3 months ago
When Analysis Fails: Heuristic Mechanism Design via Self-correcting Procedures
Abstract. Computational mechanism design (CMD) seeks to understand how to design game forms that induce desirable outcomes in multiagent systems despite private information, self-i...
David C. Parkes