Sciweavers

1894 search results - page 194 / 379
» A service-oriented approach for integrating multiagent syste...
Sort
View
SIMUTOOLS
2008
15 years 8 months ago
Snoopy: a tool to design and animate/simulate graph-based formalisms
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
Monika Heiner, Ronny Richter, Martin Schwarick
ICIP
2003
IEEE
16 years 8 months ago
A modular approach to virtual view creation for a scalable immersive teleconferencing configuration
This paper details a new modular approach to virtual view creation that is designed to work in conjunction with a proposed scalable teleconferencing configuration. This scalable s...
Eddie Cooke, Ingo Feldmann, Peter Kauff, Oliver Sc...
MKWI
2008
188views Business» more  MKWI 2008»
15 years 8 months ago
A Pragmatic Approach to Traceability in Model-Driven Development
: A common problem in model-driven software development processes is the tracing of requirements across different phases of the software development life cycle iple levels of abstr...
Markus Aleksy, Tobias Hildenbrand, Claudia Obergfe...
ACSAC
2010
IEEE
15 years 4 months ago
Analyzing and improving Linux kernel memory protection: a model checking approach
Code injection continues to pose a serious threat to computer systems. Among existing solutions, W X is a notable approach to prevent the execution of injected code. In this paper...
Siarhei Liakh, Michael C. Grace, Xuxian Jiang
FDL
2007
IEEE
16 years 27 days ago
Measuring the Quality of a SystemC Testbench by using Code Coverage Techniques
The system description language SystemC enables to quickly create executable specifications at adequate levbstraction for both hardware/software integration and fast design space...
Daniel Große, Hernan Peraza, Wolfgang Klinga...