Sciweavers

10301 search results - page 431 / 2061
» informs 2007
Sort
View
160
Voted
FSTTCS
2007
Springer
16 years 1 months ago
Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption
Type systems for secure information flow aim to prevent a program from leaking information from variables that hold secret data to variables that hold public data. In this work we...
Judicaël Courant, Cristian Ene, Yassine Lakhn...
197
Voted
NLDB
2007
Springer
16 years 1 months ago
Ontological Text Mining of Software Documents
Documents written in natural languages constitute a major part of the software engineering lifecycle artifacts. Especially during software maintenance or reverse engineering, seman...
René Witte, Qiangqiang Li, Yonggang Zhang, ...
CHIMIT
2007
ACM
15 years 11 months ago
Activity-based management of IT service delivery
Growth, adaptability, innovation, and cost control are leading concerns of businesses, especially with respect to use of information technology (IT). Though standards such as the ...
John H. Bailey, Eser Kandogan, Eben M. Haber, Paul...
171
Voted
IJRR
2007
137views more  IJRR 2007»
15 years 7 months ago
Robust Fault Detection of a Robotic Manipulator
jr.sagepub.com/cgi/content/abstract/26/3/273 The online version of this article can be found at: Published by: http://www.sagepublications.com On behalf of: Multimedia Archives can...
Bibhrajit Halder, Nilanjan Sarkar
INTERACT
2007
15 years 9 months ago
Tagscape: Navigating the Tag Landscape
Recent years have seen an explosion in online collaborative tagging, the most prevalent visualization of which are tag clouds. Despite their popularity, tag clouds suffer from limi...
Lauren Haynes, Aylin Selcukoglu, Sunah Suh, Karrie...