Sciweavers

3273 search results - page 477 / 655
» Structured Design of Microelectromechanical Systems
Sort
View
INEX
2004
Springer
15 years 11 months ago
DocBase - The INEX Evaluation Experience
Abstract. Can a system designed primarily for the purpose of databasetype storage and retrieval be used for information-retrieval tasks? This was one of the questions that led us t...
Sriram Mohan, Arijit Sengupta
MTV
2003
IEEE
109views Hardware» more  MTV 2003»
15 years 11 months ago
A Methodology for Validation of Microprocessors using Equivalence Checking
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
Prabhat Mishra, Nikil D. Dutt
WCRE
2002
IEEE
15 years 11 months ago
A Study on the Current State of the Art in Tool-Supported UML-Based Static Reverse Engineering
Today, software-engineering research and industry alike recognize the need for practical tools to support reverseengineering activities. Most of the well-known CASE tools support ...
Ralf Kollman, Petri Selonen, Eleni Stroulia, Tarja...
FDG
2009
ACM
15 years 11 months ago
Scenario generation for emergency rescue training games
Procedural methods have long been used for generation of art assets, but procedural generation of scenarios has lagged behind. In particular, training games for emergency rescue w...
Kenneth Hullett, Michael Mateas
HICSS
2000
IEEE
133views Biometrics» more  HICSS 2000»
15 years 10 months ago
Value based Requirements Creation for Electronic Commerce Applications
Electronic commerce applications have special features compared to conventional information systems. First, because electronic commerce usually involves yet nonexisting business a...
Jaap Gordijn, Hans Akkermans, Hans van Vliet