Kathi - PDFSEARCH.IO - Document Search Engine

Kathi
Results: 163

#	Item
21	STUNDENPLANKLASSE Arnisäge Klassenlehrkraft: Käthi Baumann / Barbara Enkerli 2/5 Mädchen 7/7 Knaben 21 Schüler Add to Reading List Source URL: www.schule-arni-landiswil.ch - Date: 2016-05-28 05:44:24
22	Embracing Policy Engineering Kathi Fisler Shriram Krishnamurthi Daniel J. Dougherty Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2010-10-21 09:43:59 Computing Security Policy Crime prevention Cryptography Information governance National security Internet privacy Privacy policy Privacy Computer security Cloud computing
23	Two-Dimensional Regular Expressions for Compositional Bus Protocols Kathi Fisler WPI Department of Computer Science Worcester, MAUSA Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2007-08-15 06:46:35 Diagrams Infographics Timing diagram Object Process Methodology Digital timing diagram Technology Business Computing
24	Bootstrap: Going Beyond Programming in After-School Computer Science Emmanuel Schanzer Kathi Fisler Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2013-08-31 16:22:42 Software Education Computing Educational psychology Bootstrap curriculum Curricula Mathematics education in the United States Scheme Statistical inference Bootstrapping Bootstrap Racket
25	Parameterized Interfaces for Open System Verification of Product Lines∗ Colin Blundell University of Pennsylvania Kathi Fisler WPI Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2004-10-28 09:30:27 Theoretical computer science Logic Mathematical logic Formal methods Logic in computer science Boolean algebra Hardware verification languages Model checking Temporal logic Formal verification Propositional calculus E
26	The Recurring Rainfall Problem Kathi Fisler WPI Dept of Computer Science Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2014-06-13 07:01:12 Software engineering Computer programming Computing Theoretical computer science How to Design Programs Recursion Functional programming Algorithm Fortran
27	Käthi Sutter Märetfrau «Bad & Stein» für Haus und Garten Add to Reading List Source URL: riedholz.ch Language: German - Date: 2016-05-04 08:16:19
28	Verifying Cross-Cutting Features as Open Systems Harry Li† Shriram Krishnamurthi Kathi Fisler Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2002-11-30 10:29:52 Mathematical logic Theoretical computer science Formal methods Logic Logic in computer science Hardware verification languages Model checking Formal verification E Gmail Aspect-oriented software development Propositional calculus
29	Verification and Change-Impact Analysis of Access-Control Policies∗ Kathi Fisler Shriram Krishnamurthi Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2005-04-29 09:42:28 Computer security Security Access control Computer access control XACML Binary decision diagram PERMIS Information flow Role-based access control Policy analysis Security-Enhanced Linux Model checking
30	Putting the User in Usable Verification Kathi Fisler WPI Department of Computer Science (joint work with Shriram Krishnamurthi, Brown University) November 3, 2010 Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-03 22:22:08 Software engineering Formal methods Theoretical computer science Systems engineering Business Logic in computer science Formal verification Verification and validation Requirement Object Process Methodology Runtime verification