Sciweavers

1554 search results - page 24 / 311
» cases 2003
Sort
View
CHI
2003
ACM
15 years 10 months ago
Utilizing mobile devices to capture case stories for knowledge management
This study examines how the increasing number of new mobile devices that enable rich in situ information capture can be utilized to improve knowledge management practices. An ethn...
Jia Shen
ICFP
2003
ACM
15 years 9 months ago
Representing reductions of NP-complete problems in logical frameworks: a case study
Under the widely believed conjecture P=NP, NP-complete problems cannot be solved exactly using efficient polynomial time algorithms. Furthermore, any instance of a NP-complete pro...
Carsten Schürmann, Jatin Shah
ACSD
2003
IEEE
159views Hardware» more  ACSD 2003»
15 years 2 months ago
Case Studies of Model Checking for Embedded System Designs
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems ple levels of abstraction, so that the design space can be effectively...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
DATE
2003
IEEE
108views Hardware» more  DATE 2003»
15 years 2 months ago
Comparing Analytical Modeling with Simulation for Network Processors: A Case Study
Programming network processors remains an art due to the variety of different network processor architectures and due to little support to reason and explore implementations on su...
Matthias Gries, Chidamber Kulkarni, Christian Saue...
FDL
2003
IEEE
15 years 2 months ago
UML-based Specifications of an Embedded System oriented to HW/SW partitioning: a case study
The Unified Modelling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artefacts of software systems, as well as for modelling business ...
A. Minosi, S. Mankan, A. Martinola, F. Balzarini, ...