JCSP - PDFSEARCH.IO - Document Search Engine

JCSP
Results: 20

#	Item
1	A Compositional Approach to Active and Passive Components Kung-Kiu Lau and Ioannis Ntalamagkas School of Computer Science, The University of Manchester Manchester M13 9PL, UK {kung-kiu,i.ntalamagkas}@cs.manchester.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2008-10-31 07:51:28 Software architecture Electronics Communicating sequential processes Process calculi Electrical components Passivity Wright Component-based software engineering JCSP Computing Software engineering Concurrent computing
2	Formal Derivation of State-Rich Reactive Programs using Circus Marcel Vin´ıcius Medeiros Oliveira Submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2014-11-17 14:56:11 Computer science Logic in computer science Formal methods Programming language semantics Denotational semantics JCSP Circus Refinement calculus Unifying Theories of Programming Theoretical computer science Computing Concurrent computing
3	Microsoft Word - November Conference 2013 brochure draft Add to Reading List Source URL: www.slari.ie Language: English - Date: 2013-11-15 04:18:52 Concurrent computing JCSP Librarian
4	Privacy Impact Assessment Update for the Joint Cybersecurity Services Program (JCSP), Defense Industrial Base (DIB) – Enhanced Cybersecurity Services (DECS) Add to Reading List Source URL: www.dhs.gov Language: English - Date: 2012-07-19 12:31:54 Security Public safety Computer crimes National Cyber Security Division Einstein United States Computer Emergency Readiness Team Cyber-security regulation International Multilateral Partnership Against Cyber Threats National Protection and Programs Directorate United States Department of Homeland Security Cyberwarfare Computer security
5	PDF Document Add to Reading List Source URL: cfcollegefoundation.files.wordpress.com Language: English - Date: 2014-06-13 14:04:42 Military history of Canada Military Canadian Forces College Royal Canadian Air Force Canada JCSP Concurrent computing Canadian Forces Military organization
6	Department Of Homeland Security Privacy Office NPPD JCSP PIA Add to Reading List Source URL: www.dhs.gov Language: English - Date: 2012-01-17 06:29:40 Security Computing Computer crimes Concurrent computing National Cyber Security Division JCSP United States Computer Emergency Readiness Team Einstein Cyber-security regulation United States Department of Homeland Security Cyberwarfare Computer security
7	DOE Education Inclusion Covers[removed]:31 Add to Reading List Source URL: jcsp.slss.ie Language: English - Date: 2010-10-04 01:56:01 Youth Education reform Inclusion Philosophy of education Special education Social exclusion Education Disability Education policy
8	0000 JCSP Statement v2.indd Add to Reading List Source URL: www.ncca.ie Language: English - Date: 2010-09-02 22:19:00 Education reform Pedagogy Philosophy of education Student-centred learning JCSP Transition Year Special education Teacher Education Concurrent computing Curricula
9	Microsoft PowerPoint - jcsp.ppt Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2008-04-01 09:08:40 Systems theory Science Cybernetics System Systems science Copyright law of the United States Ambient intelligence Copyright Data Information Data management
10	Computing Laboratory[removed] Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2001-06-05 08:23:18 Software engineering Process calculi Concurrency Communicating sequential processes JCSP Channel Lock Copyright law of the United States Deadlock Computing Concurrent computing Computer programming

UPDATE