Sciweavers

5577 search results - page 1073 / 1116
» E2K Technology and Implementation
Sort
View
SPIN
2001
Springer
15 years 3 months ago
From Model Checking to a Temporal Proof
ions Using SPIN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Marsha Chechik, Benet Devereux, Arie Gurfinkel (University of Toronto) Imp...
Doron Peled, Lenore D. Zuck
ICDE
2000
IEEE
89views Database» more  ICDE 2000»
15 years 3 months ago
Managing Escalation of Collaboration Processes in Crisis Mitigation Situations
Processes for crisis mitigation must permit coordination flexibility and dynamic change to empower crisis mitigation coordinators and experts to deal with the unexpected situatio...
Dimitrios Georgakopoulos, Hans Schuster, Donald Ba...
DOLAP
2000
ACM
15 years 3 months ago
CUBIST: A New Algorithm For Improving the Performance of Ad-hoc OLAP Queries
Being able to efficiently answer arbitrary OLAP queries that aggregate along any combination of dimensions over numerical and categorical attributes has been a continued, major co...
Lixin Fu, Joachim Hammer
ELPUB
2000
ACM
15 years 3 months ago
Changes in the Information Dissemination Process Within the Scholarly World: The Impact of Electronic Publishing on Scholarly Co
This paper describes part of the results of recent research carried out in Brazil and the UK, which investigated the perceptions by academic social scientists of the impact of ele...
Sely Maria de Souza Costa
SIGCPR
2000
ACM
173views Hardware» more  SIGCPR 2000»
15 years 3 months ago
Hollywood: a business model for the future?
This paper elucidates an emergent theory of organizational structure, process and leadership which the author believes will characterize the Internet based workplace of the future...
Charles E. Grantham
« Prev « First page 1073 / 1116 Last » Next »