Sciweavers

3399 search results - page 248 / 680
» Requirements Development in Scenario-Based Design
Sort
View
ASPDAC
2012
ACM
265views Hardware» more  ASPDAC 2012»
14 years 2 months ago
Improving validation coverage metrics to account for limited observability
—In both pre-silicon and post-silicon validation, the detection of design errors requires both stimulus capable of activating the errors and checkers capable of detecting the beh...
Peter Lisherness, Kwang-Ting Cheng
WWW
2004
ACM
16 years 7 months ago
An application server for the semantic web
The Semantic Web relies on the complex interaction of several technologies involving ontologies. Therefore, sophisticated Semantic Web applications typically comprise more than on...
Daniel Oberle, Steffen Staab, Raphael Volz
HICSS
2007
IEEE
133views Biometrics» more  HICSS 2007»
16 years 27 days ago
Service-Oriented Software Reengineering: SoSR
Service-Oriented Computing (SOC) enables the development and design of loosely coupled software components for integration with other software system. Since most legacy system wer...
Sam Chung, Joseph Byung Chul An, Sergio Davalos
BIRTHDAY
2007
Springer
16 years 23 days ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
ICITA
2005
IEEE
16 years 5 days ago
Performance Tuning in the MacauMap Mobile Map Application
With the increasing popularity of mobile computing platforms such as personal digital assistants (PDAs) and smart mobile phones, applications originally designed for higherperform...
Robert P. Biuk-Aghai