2834 search results - page 451 / 567 » Design Intent-Oriented Modelling Tools for Aesthetic Design |
ISQED
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
ACSAC
2002
IEEE
14 years 2 months ago
2002
IEEE
In this paper we describe a mainframe access control system (DENT) and its associated delegated administration tool (DSAS) that were used in a financial institution for over 20 y...
HICSS
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper provides an overview on a German lighthouse research project called L3 in the area of e-learning systems that supply e-learning services via a virtual private network. ...
APN
2010
Springer
14 years 2 months ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
ASSETS
2009
ACM
14 years 1 months ago
2009
ACM
The difficulties of navigating vocabulary in an assistive communication device are exacerbated for individuals with lexical access disorders like those due to aphasia. We present ...