Sciweavers

3271 search results - page 355 / 655
» Controlled Multicast Framework
Sort
View
SAS
2007
Springer
106views Formal Methods» more  SAS 2007»
16 years 22 days ago
Guided Static Analysis
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
Denis Gopan, Thomas W. Reps
TABLETOP
2006
IEEE
16 years 19 days ago
Supporting Mixed Presence Groupware in Tabletop Applications
In this paper we present the Transparent Input Device Layer framework to extend Java applications with support for multiple distributed input devices, a major requirement for tabl...
Peter Hutterer, Benjamin Close, Bruce H. Thomas
146
Voted
VIZSEC
2005
Springer
16 years 3 days ago
Visualization of Automated Trust Negotiation
We have designed an interactive visualization framework for the automated trust negotiation (ATN) protocol and we have implemented a prototype of the visualizer in Java. This fram...
Danfeng Yao, Michael Shin, Roberto Tamassia, Willi...
HICSS
2003
IEEE
136views Biometrics» more  HICSS 2003»
15 years 12 months ago
Increasing Understanding of the Modern Testing Perspective in Software Product Development Projects
Testing can be difficult to integrate into software development. Approaches to software testing in relation to implementing software are based on the V-model of testing. The softw...
Maaret Pyhäjärvi, Kristian Rautiainen, J...
RTAS
2003
IEEE
15 years 12 months ago
Evaluation of Application-aware Heterogeneous Embedded Systems for Performance and Energy Consumption
In this work, we first present an application-initiated strategy that aims to control the energy consumption, while simultaneously enhancing the performance of a heterogeneous emb...
Jayaprakash Pisharath, Nan Jiang, Alok N. Choudhar...