5255 search results - page 718 / 1051 » Formal Methods for Privacy |
186
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
174
click to vote
MEMOCODE
2007
IEEE
16 years 1 months ago
2007
IEEE
—With the arrival of nanometer technologies wire delays are no longer negligible with respect to gate delays, and timing-closure becomes a major challenge to System-on-Chip desig...
199
click to vote
AGTIVE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. With graph pattern matching the field of graph transformation (GT) includes an NP-complete subtask. But for real-life applications it is essential that graph pattern mat...
232
click to vote
AGTIVE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Aspect-orientation has gained increasing popularity, especially within the programming domain, with textual-based approaches such as AspectJ. Aspect-orientation provides ...
221
click to vote
AGTIVE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Business-driven development is a methodology for developing IT solutions that directly satisfy business requirements. At its core are business processes, which are usuall...