2834 search results - page 267 / 567 » Design Intent-Oriented Modelling Tools for Aesthetic Design |
156
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
workflow technology is becoming the key technologyfor businessprocess modeling, reengineering and automating. During the workflowspecification, enactment and administmtion, there ...
149
click to vote
TACAS
1995
Springer
15 years 10 months ago
1995
Springer
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-time user of HyTech, guides the reader through the underlying system model, an...
143
click to vote
FAC
2008
15 years 6 months ago
2008
A development of the Mondex system was undertaken using Event-B and its associated proof tools. mental approach was used whereby the refinement between the abstract specification o...
180
Voted
INFOCOM
1998
IEEE
15 years 11 months ago
1998
IEEE
: This paper presents a demand-based engineering method for designing radio networks of cellularmobile communicationsystems. The proposed procedure is based on a forward-engineerin...
186
click to vote
ASPDAC
1998
ACM
15 years 11 months ago
1998
ACM
We developed a new modular synthesis approach for design of low-power core-based data-intensive application-specific systems on silicon. The power optimization is conducted in th...