Sciweavers

14298 search results - page 2549 / 2860
» Dynamic Languages and Applications
Sort
View
ICCAD
2003
IEEE
198views Hardware» more  ICCAD 2003»
16 years 3 months ago
A CAD Framework for Co-Design and Analysis of CMOS-SET Hybrid Integrated Circuits
This paper introduces a CAD framework for co-simulation of hybrid circuits containing CMOS and SET (Single Electron Transistor) devices. An improved analytical model for SET is al...
Santanu Mahapatra, Kaustav Banerjee, Florent Pegeo...
SAC
2010
ACM
16 years 1 months ago
A deidealisation semantics for KAOS
KAOS is a goal directed requirements engineering framework based on the decomposition and refinement of goals. Decomposition and refinement continue until a point is reached at ...
Richard Banach
WWW
2010
ACM
16 years 1 months ago
What is disputed on the web?
We present a method for automatically acquiring of a corpus of disputed claims from the web. We consider a factual claim to be disputed if a page on the web suggests both that the...
Rob Ennals, Dan Byler, John Mark Agosta, Barbara R...
CCS
2010
ACM
16 years 1 months ago
A lattice-based approach to mashup security
A web mashup is a web application that integrates content from different providers to create a new service, not offered by the content providers. As mashups grow in popularity, ...
Jonas Magazinius, Aslan Askarov, Andrei Sabelfeld
ACHI
2009
IEEE
16 years 1 months ago
A Structured Approach to Support 3D User Interface Development
— Given its current state of the art, Model-Based UI Development (MBDUI) is able to fulfill the major requirements of desktop and mobile applications, such as form-based user int...
Juan Manuel González-Calleros, Jean Vanderd...
« Prev « First page 2549 / 2860 Last » Next »