10038 search results - page 1498 / 2008 » Model Checking for Managers |
168
click to vote
RTCSA
1997
IEEE
15 years 11 months ago
1997
IEEE
Emphasis of our research lies on the application of realtime multimedia technology: tele-teaching. teleconferencing arid collaborative work. To support this research we need a rea...
168
Voted
SEE
1989
Springer
15 years 11 months ago
1989
Springer
This article presents doctoral research on tool integration within software engineering environments. Tool integration concerns the techniques used to form coalitions of tools tha...
188
click to vote
COLCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Current collaborative tools are often not able to profit from existing systems for user management. It is therefore necessary for collaborative systems to administrate their users ...
194
Voted
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
We study query processing in large graphs that are fundamental data model underpinning various social networks and Web structures. Given a set of query nodes, we aim to find the g...
175
Voted
PODC
2010
ACM
15 years 10 months ago
2010
ACM
Large-scale hosting infrastructures require automatic system anomaly management to achieve continuous system operation. In this paper, we present a novel adaptive runtime anomaly ...