Sciweavers

4764 search results - page 120 / 953
» Applications of Error-Control Coding
Sort
View
SDL
2007
171views Hardware» more  SDL 2007»
13 years 9 months ago
Model Driven Development and Code Generation: An Automotive Case Study
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
Michele Banci, Alessandro Fantechi, Stefania Gnesi...
ISCIS
2004
Springer
14 years 1 months ago
Modelling Mobility with PEPA Nets
We explain the use of PEPA nets in documenting high-level designs of mobile code and mobile computing systems. This modelling language (which allows the modeller to differentiate ...
Jane Hillston, Marina Ribaudo
ECOOP
2007
Springer
13 years 12 months ago
Automation of Refactoring and Refactoring Suggestions for TTCN-3 Test Suites. The TRex TTCN-3 Refactoring and Metrics Tool
Refactoring is not only useful for source code of implementations, but as well for test specifications. The open source TRex tool automates the application of refactorings and the ...
Helmut Neukirchen, Benjamin Zeiss
WCRE
1995
IEEE
13 years 11 months ago
Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
Gerald C. Gannod, Betty H. C. Cheng
ISBI
2002
IEEE
14 years 8 months ago
A monohierarchical multiaxial classification code for medical images in content-based retrieval
Large efforts have been made for general applications of content-based image retrieval (CBIR). Established CBIRsystems globally evaluate color, texture, and also shape for retriev...
Thomas Martin Lehmann, Berthold B. Wein, Daniel Ke...