18 search results - page 1 / 4 » Autojoin: Providing Freedom from Specifying Joins |
ICEIS
2005
IEEE
14 years 1 months ago
2005
IEEE
SOCO
2007
Springer
14 years 1 months ago
2007
Springer
Aspects require access to the join point context in order to select and adapt join points. For this purpose, current aspect-oriented systems offer a large number of pointcut constr...
ICDE
2006
IEEE
14 years 8 months ago
2006
IEEE
We present a secure network service for sovereign information sharing whose only trusted component is an off-theshelf secure coprocessor. The participating data providers send enc...
SIGGRAPH
1994
ACM
13 years 11 months ago
1994
ACM
Specifying the motion of an animated linked figure such that it achieves given tasks (e.g., throwing a ball into a basket) and performs the tasks in a realistic fashion (e.g., gra...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...