Sciweavers

1937 search results - page 48 / 388
» Starting B Specifications from Use Cases
Sort
View
FPL
2006
Springer
125views Hardware» more  FPL 2006»
15 years 5 months ago
Application-Specific Memory Interleaving for FPGA-Based Grid Computations: A General Design Technique
Many compute-intensive applications generate single result values by accessing clusters of nearby points in grids of one, two, or more dimensions. Often, the performance of FGPA i...
Tom Van Court, Martin C. Herbordt
JOT
2007
169views more  JOT 2007»
15 years 1 months ago
Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...
Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda ...
ICCBR
1999
Springer
15 years 6 months ago
Integrating Information Resources: A Case Study of Engineering Design Support
Abstract. The development of successful case-based design aids depends both on the CBR processes themselves and on crucial questions of integrating the CBR system into the larger t...
David B. Leake, Lawrence Birnbaum, Kristian J. Ham...
HICSS
2008
IEEE
215views Biometrics» more  HICSS 2008»
15 years 3 months ago
Harry Potter and the Meat-Filled Freezer: A Case Study of Spontaneous Usage of Visualization Tools
This paper is a report on early user activity in Many Eyes, a public web site where users may upload data, create visualizations, and carry on discussions. Since the site launched...
Fernanda B. Viégas, Martin Wattenberg, Matt...
HICSS
2007
IEEE
105views Biometrics» more  HICSS 2007»
15 years 8 months ago
Juggling Work Among Multiple Projects and Partner
Prior research suggests people have trouble juggling effort across multiple projects with multiple partners. We investigated this problem, with an experiment where groups of four ...
Peter Scupelli, Susan R. Fussell, Sara B. Kiesler,...