Searching for:
Found 254,842 results
sorted by:
Pages: 1 2 3 ...
David Harel : Statecharts: A Visual Formalism for Complex Systems. Sci. Comput. Program. (SCP) 8(3):231-274 (1987)
Antony I. T. Rowstron, Peter Druschel : Pastry: Scalable, Decentralized Object Location, and Routing for Large-Scale Peer-to-Peer Systems. Middleware 2001
Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla : Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Trans. Program. Lang. Syst. (TOPLAS) 8(2):244-263 (1986)
David Lorge Parnas : On the Criteria To Be Used in Decomposing Systems into Modules. Commun. ACM (CACM) 15(12):1053-1058 (1972)
Paramvir Bahl, Venkata N. Padmanabhan : RADAR: An In-Building RF-Based User Location and Tracking System. INFOCOM 2000
Amit P. Sheth : Federated Database Systems for Managing Distributed, Heterogeneous, and Autonomous Databases. VLDB 1991
Amit P. Sheth, James A. Larson : Federated Database Systems for Managing Distributed, Heterogeneous, and Autonomous Databases. ACM Comput. Surv. (CSUR) 22(3):183-236 (1990)
(search: 0 sec. - facets: 0.0 sec.) (?)
Pages: 1 2 3 ...

Refine by YEAR:

show:
[No canvas support]