4386 search results - page 781 / 878 » A Tamper-Resistant Programming Language System |
116
click to vote
ACMSE
2005
ACM
15 years 7 months ago
2005
ACM
Traditionally, computer science education has considered “objects-first” or “imperative-first” approaches, with the focus of the course on teaching design of programs star...
157
click to vote
IHIS
2005
ACM
15 years 7 months ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
CC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper presents the design, implementation and experimental evaluation of a practical region-based partial dead code elimination (PDE) algorithm on predicated code in...
103
click to vote
CC
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents a new method for computing the integer hull of a parameterized rational polyhedron by introducing the concept of periodic polyhedron. Besides concerning general...
101
click to vote
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract We propose an alternative notion of asymptotic behaviors for the study of type2 computational complexity. Since the classical asymptotic notion (for all but finitely many...