Sciweavers

1536 search results - page 74 / 308
» On the Relation between Interpreted Systems and Kripke Model...
Sort
View
TCOM
2008
83views more  TCOM 2008»
14 years 9 months ago
Toward a unified framework for modeling and analysis of diversity in joint source-channel coding
The study of Joint Source-Channel Coding (JSCC) systems faces one major challenge in obtaining an analytical expression for the function that links end-to-end distortion with chann...
Andres Kwasinski, K. J. Ray Liu
EUSFLAT
2007
161views Fuzzy Logic» more  EUSFLAT 2007»
14 years 11 months ago
On Additive and Multiplicative Fuzzy Models
Systems which use a fuzzy rule base and an inference mechanisms are quite frequently used in many applications. Fuzzy rules and inference mechanisms can be described by a system o...
Martin Stepnicka, Bernard De Baets, Lenka Noskov&a...
ISSTA
2004
ACM
15 years 3 months ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner
HICSS
2007
IEEE
134views Biometrics» more  HICSS 2007»
15 years 4 months ago
Modeling Enablers for Successful KM Implementation
Knowledge is recognized as a critical resource to gain and sustain competitive advantage in business. While many organizations are employing knowledge management (KM) initiatives,...
Vittal S. Anantatmula, Shivraj Kanungo
ECBS
2004
IEEE
129views Hardware» more  ECBS 2004»
15 years 1 months ago
Using Feature Modeling for Program Comprehension and Software Architecture Recovery
: The available evidence in a legacy software system, which can help in its understanding and recovery of its architecture are not always sufficient. Very often the system's d...
Ilian Pashov, Matthias Riebisch