1975 search results - page 346 / 395 » Property analysis and design understanding |
112
click to vote
SAC
2006
ACM
15 years 8 months ago
2006
ACM
We present in this paper an approach aiming at adapting software components. It focuses on adapting component structures instead of adapting component services. Among the motivati...
101
click to vote
WECWIS
2005
IEEE
15 years 7 months ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...
112
click to vote
WS
2005
ACM
15 years 7 months ago
2005
ACM
Many key pre-distribution techniques have been developed recently to establish pairwise keys for wireless sensor networks. To further improve these schemes, researchers have propo...
136
click to vote
ESOP
2005
Springer
15 years 7 months ago
2005
Springer
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...
119
click to vote
EUROPAR
2005
Springer
15 years 7 months ago
2005
Springer
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...