Sciweavers

5961 search results - page 1125 / 1193
» Design Science and Software Engineering
Sort
View
115
Voted
CORR
2008
Springer
143views Education» more  CORR 2008»
15 years 2 months ago
A Type System for Data-Flow Integrity on Windows Vista
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani
CORR
2007
Springer
78views Education» more  CORR 2007»
15 years 2 months ago
Tag-Cloud Drawing: Algorithms for Cloud Visualization
Tag clouds provide an aggregate of tag-usage statistics. They are typically sent as in-line HTML to browsers. However, display mechanisms suited for ordinary text are not ideal fo...
Owen Kaser, Daniel Lemire
MM
2010
ACM
129views Multimedia» more  MM 2010»
15 years 26 days ago
Facilitating interactive search and navigation in videos
We present a tool that can efficiently facilitate interactive navigation and search in videos. In addition to browsing a video by shots it also allows a user to navigate through a...
Klaus Schoeffmann
OOPSLA
2010
Springer
15 years 25 days ago
From OO to FPGA: fitting round objects into square hardware?
Consumer electronics today such as cell phones often have one or more low-power FPGAs to assist with energyintensive operations in order to reduce overall energy consumption and i...
Stephen Kou, Jens Palsberg
129
Voted
ATVA
2010
Springer
142views Hardware» more  ATVA 2010»
15 years 14 days ago
On Scenario Synchronization
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla
« Prev « First page 1125 / 1193 Last » Next »