Advanced personalized web applications require a carefully dealing with their users’ wishes and preferences. Since such preferences do not always hold in general, personalized ap...
The decoupling of producers and consumers in time and space in the publish/subscribe paradigm lends itself well to the support of mobile users who roam about the environment and h...
Ioana Burcea, Hans-Arno Jacobsen, Eyal de Lara, Vi...
End-user programmers are writing an unprecedented number of programs, due in large part to the significant effort put forth to bring programming power to end users. Unfortunately,...
Shrinu Prabhakararao, Curtis R. Cook, Joseph R. Ru...
We present ProB, an animation and model checking tool for the B method. ProB’s animation facilities allow users to gain confidence in their specifications, and unlike the anima...
The use of groupware, or collaborative work-supporting technologies, has become wide-spread, but many existing groupware systems are too difficult to integrate with domain-specifi...