Sciweavers

897 search results - page 30 / 180
» Reuse, Validation and Verification of System Development Pro...
Sort
View
ICOODB
2010
171views Database» more  ICOODB 2010»
13 years 6 months ago
Data Model Driven Implementation of Web Cooperation Systems with Tricia
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
Thomas Büchner, Florian Matthes, Christian Ne...
IAJIT
2011
13 years 9 days ago
An RFID-based validation system for halal food
: In recent years, Muslims have depended on the Halal logo, displayed on food packaging, to indicate that the products are prepared according to Halal precepts. As laid out in the ...
Mohd Nasir, Azah Norman, Shukor Fauzi, Masliyana A...
DATE
2004
IEEE
130views Hardware» more  DATE 2004»
14 years 17 days ago
Utilizing Formal Assertions for System Design of Network Processors
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
Xi Chen, Yan Luo, Harry Hsieh, Laxmi N. Bhuyan, Fe...
DAC
1996
ACM
14 years 1 months ago
Design Methodology for Analog High Frequency ICs
This paper presents a methodology suited for high frequency analog IC design. The use of a top-down method with AHDL for circuit designers is proposed. In order to accelerate the ...
Yasunori Miyahara, Yoshimoto Oumi, Seijiro Moriyam...
ICCAD
1994
IEEE
92views Hardware» more  ICCAD 1994»
14 years 29 days ago
Reuse of design objects in CAD frameworks
The reuse of well-tested and optimized design objects is an important aspect for decreasing design times, increasing design quality, and improving the predictability of designs. R...
Joachim Altmeyer, Stefan Ohnsorge, Bernd Schü...