Sciweavers

103 search results - page 7 / 21
» Code Generation via Higher-Order Rewrite Systems
Sort
View
INAP
2001
Springer
14 years 2 months ago
Towards Reconciling Use Cases via Controlled Language and Graphical Models
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...
Kathrin Böttger, Rolf Schwitter, Diego Moll&a...
DSN
2005
IEEE
14 years 3 months ago
Authenticated System Calls
System call monitoring is a technique for detecting and controlling compromised applications by checking at runtime that each system call conforms to a policy that specifies the ...
Mohan Rajagopalan, Matti A. Hiltunen, Trevor Jim, ...
ICSE
2009
IEEE-ACM
14 years 4 months ago
Footprinter: Round-trip engineering via scenario and state based models
In model-driven software development, while scenariobased models are closer to distributed system requirements, state-based models are suitable for code generation. Our tool ‘Fo...
Ankit Goel, Bikram Sengupta, Abhik Roychoudhury
MCAM
2007
Springer
125views Multimedia» more  MCAM 2007»
14 years 4 months ago
Fingerprinting Codes for Live Pay-Television Broadcast Via Internet
In recent years, with the rapid growth of the Internet as well as the increasing demand for broadband services, live pay-television broadcasting via internet has become a promising...
Shuhui Hou, Tetsutaro Uehara, Yoshitaka Morimura, ...
ICS
2009
Tsinghua U.
14 years 4 months ago
Computer generation of fast fourier transforms for the cell broadband engine
The Cell BE is a multicore processor with eight vector accelerators (called SPEs) that implement explicit cache management through direct memory access engines. While the Cell has...
Srinivas Chellappa, Franz Franchetti, Markus P&uum...