Pascal and Francis Bibliographic Databases


Search results

Your search

kw.\*:("Système réparti")


A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV


A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV


A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 36420

  • Page / 1457

Selection :

  • and

Universal axioms for bisimulationsDEGANO, P; DE NICOLA, R; MONTANARI, U et al.Theoretical computer science. 1993, Vol 114, Num 1, pp 63-91, issn 0304-3975Conference Paper

Protection and synchronisation in a message-switched systemLIVESEY, J; MANNING, E.Computer networks (1976). 1983, Vol 7, Num 4, pp 253-268, issn 0376-5075Article

Audit considerations in distributed processing systemsHANSEN, J. V.Communications of the ACM. 1983, Vol 26, Num 8, pp 562-569, issn 0001-0782Article

Distributed processing in a small officeBARTON, D.Software, practice & experience. 1983, Vol 13, Num 6, pp 527-536, issn 0038-0644Article

Sensors, and command, control, communications, and intelligence (C3I) technologies for homeland defense and law enforcement II (Orlando FL, 21-25 April 2003)Carapezza, Edward M.SPIE proceedings series. 2003, isbn 0-8194-4930-X, XXII, 602 p, isbn 0-8194-4930-XConference Proceedings

Counter sniper: State of art & technology challengesCARAPEZZA, Edward.SPIE proceedings series. 2003, pp 586-596, isbn 0-8194-4930-X, 11 p.Conference Paper

A methodology for multicriteria network partitioningMURPHY, C. M; IGNIZIO, J. P.Computers & operations research. 1984, Vol 11, Num 1, pp 1-11, issn 0305-0548Article

Correctness proofs of communicating processes: three illustrative examples from the literatureOSSEFORT, M.ACM transactions on programming languages and systems. 1983, Vol 5, Num 4, pp 620-640, issn 0164-0925Article

On a load balancing bus accessing schemeAFSHARI, P. V; BRUELL, S. C; KAIN, R. Y et al.IEEE transactions on computers. 1983, Vol 32, Num 8, pp 766-770, issn 0018-9340Article

Credibility assessments: Operational issues & technology impact for law enforcement applicationsRYAN, Andrew H; PAVLIDIS, Ioannis; SHASTRI, Ananda et al.SPIE proceedings series. 2003, pp 169-182, isbn 0-8194-4930-X, 14 p.Conference Paper

Evaluation of Network Port Scanning ToolsEL-NAZEER, Nazar; DAIMI, Kevin.Security & management. International conferenceWorldComp'2011. 2011, pp 465-471, isbn 1-60132-196-1 1-60132-197-X 1-60132-198-8, 7 p.Conference Paper

TECHNOLOGY-FACILITATED : 'GIVE ACCORDING TO YOUR ABILITIES, RECEIVE ACCORDING TO YOUR NEEDS'NOV, Oded; RAO, Bharat.Communications of the ACM. 2008, Vol 51, Num 5, pp 83-87, issn 0001-0782, 5 p.Article

Principles of distributed systems (10th International conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006)Shvartsman, Alexander A.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-49990-3, 1Vol, XIII-439 p, isbn 3-540-49990-3Conference Proceedings

SIROCCO 2005 : structural information and communication complexity (Mont Saint Michel, 24-26 May 2005)Pelc, Andrzej; Raynal, Michel.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-26052-8, X, 322 p, isbn 3-540-26052-8Conference Proceedings

FORTE 2004 : formal techniques for networked and distributed systems (Madrid, 27-30 September 2004)de Frutos-Escrig, David; Nunez, Manuel.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-23252-4, X, 375 p, isbn 3-540-23252-4Conference Proceedings

DARPA OPX information assurance: Technologies and lessons learnedLOWRY, John H; MAUGHAN, Douglas.SPIE proceedings series. 2003, pp 52-62, isbn 0-8194-4930-X, 11 p.Conference Paper

There Is No Getting Around It: You Are Building a Distributed SystemCAVAGE, Mark.Communications of the ACM. 2013, Vol 56, Num 6, pp 63-70, issn 0001-0782, 8 p.Article

NETWORKING 2006 (networking technologies, services, protocols)Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-34192-7, 1Vol, XXVI-1276 p, isbn 3-540-34192-7Conference Proceedings

PAM 2004 : passive and active network measurement (Antibes les Pins, 19-20 April 2004)Barakat, Chadi; Pratt, Ian.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-21492-5, XI, 300 p, isbn 3-540-21492-5Conference Proceedings

Advances in web intelligence (Cancun, 16-19 May 2004)Favela, Jesus; Menasalvas, Ernestina; Chavez, Edgar et al.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22009-7, XIII, 226 p, isbn 3-540-22009-7Conference Proceedings

LCN 2004 (29th Annual IEEE International Conference on Local Computer Networks)Conference on Local Computer Networks. 2004, isbn 0-7695-2260-2, 1Vol, XXX-781 p, isbn 0-7695-2260-2Conference Proceedings

Part I: Foundations of distributed systems : What do we still expect from theory?SCHIPER, André.Future directions in distributed computing (research and position papers). Lecture notes in computer science. 2003, pp 14-16, issn 0302-9743, isbn 3-540-00912-4, 3 p.Book Chapter

Thermal imaging for law enforcement and security, post 9-11FRANCISCO, Glen L; BILLUPS, Ramsey B; DEHORN, Tom et al.SPIE proceedings series. 2003, pp 453-464, isbn 0-8194-4930-X, 12 p.Conference Paper

Principles of mobile communications and computingBASAGNI, Stefano; PHILLIPS, Cynthia A.Algorithmica. 2007, Vol 49, Num 4, issn 0178-4617, 188 p.Conference Proceedings

Networking - ICN 2005 (Reunion Island, 17-21 April 2005)Lorenz, Pascal; Dini, Petre.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-25339-4, 2Vol, XXXV, 933 ; 1153 p, isbn 3-540-25339-4Conference Proceedings

  • Page / 1457