1697 search results - page 300 / 340 » Supporting the design of service contracts with interaction ... |
182
click to vote
WSCG
2003
15 years 7 months ago
2003
The registration of 3D form features is essential to the supporting of reverse shape design processes. Extracting an editable shape feature from unordered data points is notorious...
141
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
175
click to vote
MM
2003
ACM
15 years 11 months ago
2003
ACM
combinFormation is a tool that enables browsing and collecting information elements in a generative space. By generative, we mean that the tool is an agent that automatically retr...
170
click to vote
CASES
2006
ACM
16 years 3 days ago
2006
ACM
Dynamic voltage scaling and sleep state control have been shown to be extremely effective in reducing energy consumption in CMOS circuits. Though plenty of research papers have st...
150
click to vote
ANSS
2007
IEEE
16 years 14 days ago
2007
IEEE
This paper describes JSIM: the simulation module of the Java Modelling Tools (JMT), an open-source fully-portable Java suite for capacity planning studies. The simulator has been ...