2192 search results - page 182 / 439 » Embedded function composition |
JOT
2007
15 years 25 days ago
2007
Aspect Oriented Programming proposes an approach to increase code functionality with aspects that are not part of the main code functionality. The current work shows how can be do...
116
click to vote
IFL
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
112
click to vote
ICSE
2001
IEEE-ACM
15 years 5 months ago
2001
IEEE-ACM
Support for dynamic and client-specific customization is required in many application areas. We present a (distributed) application as consisting of a minimal functional core – ...
117
click to vote
ICWS
2010
IEEE
15 years 2 months ago
2010
IEEE
Several activities in service oriented computing can benefit from the knowledge of properties of a given service composition ahead of time. We will focus here on properties related...
120
Voted
ICALP
2007
Springer
15 years 2 months ago
2007
Springer
Adaptive security, while more realistic as an adversarial model, is typically much harder to achieve compared to static security in cryptographic protocol design. Universal composi...