4767 search results - page 383 / 954 » Structures for Abstract Rewriting |
187
click to vote
MEMOCODE
2007
IEEE
16 years 1 months ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
203
click to vote
WISE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a goal-based approach for visualizing and browsing the search space of available Web services. A goal describes an obthat a client wants to solve by using Web ...
157
click to vote
DSD
2006
IEEE
16 years 24 days ago
2006
IEEE
System Level Design (SLD) is widely seen as a solution for bridging the gap between chip complexity and design productivity of Systems on Chip (SoC). SLD relieves the designer fro...
145
click to vote
SYNASC
2005
IEEE
16 years 9 days ago
2005
IEEE
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...
154
click to vote
EMMCVPR
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We present an algorithm for automatically constructing a decompositional shape model from examples. Unlike current approaches to structural model acquisition, in which on...