Sciweavers

4636 search results - page 174 / 928
» Application of Linguistic Techniques for Use Case Analysis
Sort
View
USENIX
2003
15 years 8 months ago
Controlling Your PLACE in the File System with Gray-box Techniques
We present the design and implementation of PLACE, a gray-box library for controlling file layout on top of FFSlike file systems. PLACE exploits its knowledge of FFS layout poli...
James A. Nugent, Andrea C. Arpaci-Dusseau, Remzi H...
WSCG
2003
140views more  WSCG 2003»
15 years 8 months ago
Interactive Rendering Technique for Realistic Oriental Painting
Interactive and realistic rendering of various effects which are appeared in the real world paintings can be used for several applications such as animation or education. For West...
Young-Jung Yu, Do-Hoon Lee, Young Bok Lee, Hwan-Gu...
FORTE
2004
15 years 8 months ago
Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
Antonio Bucchiarone, Henry Muccini, Patrizio Pelli...
PADL
2004
Springer
15 years 12 months ago
Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell
Gentzen’s Hauptsatz – cut elimination theorem – in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuition...
Chiyan Chen, Dengping Zhu, Hongwei Xi
JUCS
2008
143views more  JUCS 2008»
15 years 6 months ago
Defining Tasks, Domains and Conversational Acts in CSCW Systems: the SPACE-DESIGN Case Study
: Most of the current academic and professional work requires collaboration between the members of a working group. Groupware tools play a prevailing role in supporting this collab...
Rafael Duque, Jesús Gallardo, Crescencio Br...