696 search results - page 112 / 140 » Using Task Descriptions for the Specification of Web Applica... |
TCAD
2002
13 years 8 months ago
2002
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
Information integration applications, such as mediators or mashups, that require access to information resources currently rely on users manually discovering and integrating them ...
CODES
2008
IEEE
13 years 10 months ago
2008
IEEE
In view of a booming market for microelectronic implants, our ongoing research work is focusing on the specification and design of a novel biomedical microprocessor core targeting...
IMCS
2007
13 years 8 months ago
2007
Setting up runtime security policies as required for firewalls or as envisioned by policy languages for the Semantic Web is a difficult task, especially for lay users who have l...
PVG
2003
IEEE
14 years 1 months ago
2003
IEEE
While commodity computing and graphics hardware has increased in capacity and dropped in cost, it is still quite difficult to make effective use of such systems for general-purpos...