10038 search results - page 1811 / 2008 » Model Checking for Managers |
171
click to vote
WMTE
2002
IEEE
15 years 9 months ago
2002
IEEE
This study tries to apply wireless technologies to build a highly interactive environment. For this purpose, this study first identifies four types of interaction between the memb...
123
click to vote
SIGMOD
2010
ACM
15 years 9 months ago
2010
ACM
Large-scale websites are increasingly moving from relational databases to distributed key-value stores for high request rate, low latency workloads. Often this move is motivated n...
165
click to vote
INTERACTION
2009
ACM
15 years 9 months ago
2009
ACM
In this paper, we present the core concept and the benefits of an approach called RoboEarth which will be highly beneficial for future robotic applications in science and industry...
139
click to vote
DESRIST
2009
Springer
15 years 9 months ago
2009
Springer
Despite the widespread recognition that information technology (IT) and business process are tightly connected, existing system design methods provide limited guidance on how to t...
120
click to vote
EDBT
2009
ACM
15 years 9 months ago
2009
ACM
Decision Support Systems (DSS) are information systems that support decision making processes. In many scenarios these systems are built on top of data managed by DBMSs and make e...