6239 search results - page 126 / 1248 » From Zinc to Design Model |
213
click to vote
CIKM
2007
Springer
16 years 1 months ago
2007
Springer
Traditional adaptive filtering systems learn the user’s interests in a rather simple way – words from relevant documents are favored in the query model, while words from irre...
133
click to vote
LFCS
1997
Springer
15 years 11 months ago
1997
Springer
The paper is devoted to the investigation of behavioural equivalences of concurrent systems modelled by Petri nets. Back-forth bisimulation equivalences known from the literature a...
196
click to vote
VLSID
2006
IEEE
16 years 28 days ago
2006
IEEE
This tutorial present the key aspects of design challenges and its solutions that are being experienced in VLSI design in the era of nano technology. The focus will be on design c...
188
click to vote
APN
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...
198
click to vote
JUCS
2002
15 years 6 months ago
2002
: Different models and methodologies for the development of hypermedia systems and applications have emerged in the recent years. Software-technical methods and principles enriched...