Sciweavers

4722 search results - page 143 / 945
» Encoding Program Executions
Sort
View
CORR
2006
Springer
92views Education» more  CORR 2006»
15 years 4 months ago
Highly robust error correction by convex programming
This paper discusses a stylized communications problem where one wishes to transmit a real-valued signal x Rn (a block of n pieces of information) to a remote receiver. We ask wh...
Emmanuel J. Candès, Paige A. Randall
IJSSE
2011
127views more  IJSSE 2011»
14 years 11 months ago
A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints
The Extensible Markup Language is susceptible to security breaches because it does not incorporate methods to protect the information it encodes. Our work presented in this paper f...
Sean Policarpio, Yan Zhang
COMSIS
2007
128views more  COMSIS 2007»
15 years 4 months ago
Constructing program animations using a pattern-based approach
The aim of this paper is to discuss how our pattern-based strategy for the visualization of data and control flow can effectively be used to animate the program and exhibit its beh...
Daniela Carneiro da Cruz, Pedro Rangel Henriques, ...
ERSHOV
1999
Springer
15 years 9 months ago
Current Directions in Hyper-Programming
The traditional representation of a program is as a linear sequence of text. At some stage in the execution sequence the source text is checked for type correctness and its transla...
Ronald Morrison, Richard C. H. Connor, Quintin I. ...
GI
2005
Springer
15 years 10 months ago
Programming in the Large based on the Business Process Modelling Notation
: A software application is related to the processes it supports. Today, UML diagrams esp. use case diagrams and activity diagrams are often used to model the relevant aspects of t...
Christian Emig, Christof Momm, Jochen Weisser, Seb...