2834 search results - page 292 / 567 » Design Intent-Oriented Modelling Tools for Aesthetic Design |
185
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
In the design of low power systems, it is important to analyze and optimize both the hardware and the software component of the system. To evaluate the software component of the s...
193
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
176
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
We describe collaborative efforts between a knowledge representation team, a community of scientists, and scientific information managers in developing knowledge models for ecolog...
195
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
The imminent mass deployment of pervasive computing technologies such as sensor networks and RFID tags, together with the increasing participation of the Web community in feeding ...
165
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...