Sciweavers

1210 search results - page 52 / 242
» Specifying Precise Use Cases with Use Case Charts
Sort
View
TAPD
1998
81views more  TAPD 1998»
15 years 5 months ago
A Generalized CYK Algorithm for Parsing Stochastic CFG
We present a bottom-up parsing algorithm for stochastic context-free grammars that is able (1) to deal with multiple interpretations of sentences containing compoundwords; (2) to ...
Jean-Cédric Chappelier, Martin Rajman
TCOM
2008
136views more  TCOM 2008»
15 years 4 months ago
Joint source-channel codes based on irregular turbo codes and variable length codes
Abstract--Variable length codes (VLCs), used in data compression, are very sensitive to error propagation in the presence of noisy channels. To address this problem, several joint ...
Xavier Jaspar, Luc Vandendorpe
INFSOF
2010
173views more  INFSOF 2010»
15 years 1 months ago
Filtering false alarms of buffer overflow analysis using SMT solvers
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
Youil Kim, Jooyong Lee, Hwansoo Han, Kwang-Moo Cho...
FM
1997
Springer
258views Formal Methods» more  FM 1997»
15 years 8 months ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert
IV
2006
IEEE
82views Visualization» more  IV 2006»
15 years 10 months ago
Two sides of the story: Visualising Products and Processes in Engineering Design
This paper describes research on the use of multiple views for modelling products and processes in the design of complex products. Single visual representations of design models o...
René Keller, Tomás L. Flanagan, Clau...