150 search results - page 14 / 30 » Programming by sketching for bit-streaming programs |
IH
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We introduce software integrity checking expressions (SoftICEs), which are program predicates that can be used in software tamper detection. We present two candidates, pr...
139
Voted
POPL
2001
ACM
15 years 9 months ago
2001
ACM
By combining existing type systems with standard typebased compilation techniques, we describe how to write strongly typed programs that include a function that acts as a tracing ...
ICNS
2008
IEEE
15 years 4 months ago
2008
IEEE
The programmable network approach allows processing of passing user data in a network, which is highly suitable especially for multimedia streams processing. However, programming ...
CP
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, co...
AOSD
2007
ACM
15 years 1 months ago
2007
ACM
Aspect-oriented languages mostly employ implicit languagedefined join point models, where well-defined points in the program are called join points and declarative predicates are ...