Sciweavers

5961 search results - page 1125 / 1193
» Design Science and Software Engineering
Sort
View
94
Voted
CORR
2008
Springer
143views Education» more  CORR 2008»
15 years 19 days 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 16 days 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»
14 years 11 months 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
14 years 11 months 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
111
Voted
ATVA
2010
Springer
142views Hardware» more  ATVA 2010»
14 years 10 months 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 »