Sciweavers

4283 search results - page 554 / 857
» A Graphics Image Processing System
Sort
View
ECRTS
2005
IEEE
16 years 9 days ago
Automated Model-Based Generation of Ravenscar-Compliant Source Code
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
Matteo Bordin, Tullio Vardanega
DSVIS
2005
Springer
16 years 6 days ago
A Calculus for the Refinement and Evolution of Multi-user Mobile Applications
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
W. Greg Phillips, T. C. Nicholas Graham, Christoph...
ACSAC
2006
IEEE
15 years 10 months ago
Offloading IDS Computation to the GPU
Signature-matching Intrusion Detection Systems can experience significant decreases in performance when the load on the IDS-host increases. We propose a solution that off-loads so...
Nigel Jacob, Carla E. Brodley
CAINE
2007
15 years 8 months ago
Interactive Thin Shells - A Model Interface for the Analysis of Physically-based Animation
Realism has always been a goal in computer graphics. However, the algorithms involved in mimicking ical world are often complex, abstract, and sensitive to changes in experimental...
James Skorupski, Zoë J. Wood, Alex Pang
KES
2008
Springer
15 years 6 months ago
The User Centred Knowledge Model - t-UCK
In knowledge engineering, modelling knowledge is the process of structuring knowledge before implementation. A crucial part of system development depends on the acquiring and struc...
Anne Håkansson