Sciweavers

899 search results - page 90 / 180
» Using Method Engineering for the Construction of Agent-Orien...
Sort
View
ICDAR
2003
IEEE
14 years 2 months ago
Reference Line Extraction from Form Documents with Complicated Backgrounds
Form document analysis is one of the most essential tasks in document analysis and recognition. One of the most fundamental and crucial tasks is the extraction of the reference li...
Dihua Xi, Seong-Whan Lee
KBSE
2002
IEEE
14 years 1 months ago
Generating Product-Lines of Product-Families
GenVoca is a methodology and technology for generating product-lines, i.e. building variants of a program. The primitive components from which applications are constructed are ref...
Don S. Batory, Roberto E. Lopez-Herrejon, Jean-Phi...
FDL
2008
IEEE
13 years 10 months ago
RTL Generation of Channel Architecture Templates for a Template-based SoC Design Flow
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...
Jinhyun Cho, Soonwoo Choi, Soo Chae
IJSKD
2011
163views more  IJSKD 2011»
13 years 3 months ago
Socio-Technical Systems: A Meta-Design Perspective
Meta-design of socio-technical systems is an approach which complies with the need of integrating two different types of structures and processes: technical systems which are engi...
Gerhard Fischer, Thomas Herrmann
ER
2004
Springer
139views Database» more  ER 2004»
14 years 2 months ago
A Sociological Framework for Multi-agent Systems Validation and Verification
Social and intentional behaviours appear as two main components of the agent paradigm. Methods of conventional software engineering do not seem to be appropriate to gain a full kno...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...