Sciweavers

8655 search results - page 1213 / 1731
» Challenges for Trusted Computing
Sort
View
ICMT
2011
Springer
14 years 8 months ago
A Demonstration-based Approach to Support Live Transformations in a Model Editor
Complex model editing activities are frequently performed to realize various model evolution tasks (e.g., model scalability, weaving aspects into models, and model refactoring). In...
Yu Sun, Jeff Gray, Christoph Wienands, Michael Gol...
ICSE
2011
IEEE-ACM
14 years 8 months ago
Leveraging software architectures to guide and verify the development of sense/compute/control applications
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
Damien Cassou, Emilie Balland, Charles Consel, Jul...
IPSN
2011
Springer
14 years 8 months ago
Sensor networks for the detection and tracking of radiation and other threats in cities
This paper presents results from experiments, mathematical analysis, and simulations of a network of static and mobile sensors for detecting threats on city streets and in open ar...
Annie H. Liu, Julian J. Bunn, K. Mani Chandy
MMM
2011
Springer
187views Multimedia» more  MMM 2011»
14 years 7 months ago
A User-Centric System for Home Movie Summarisation
In this paper we present a user-centric summarisation system that combines automatic visual-content analysis with user-interface design features as a practical method for home movi...
Saman Cooray, Hyowon Lee, Noel E. O'Connor
PADL
2011
Springer
14 years 7 months ago
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming
Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often t to encode in general purpose langua...
Tomas Petricek, Don Syme
« Prev « First page 1213 / 1731 Last » Next »