Yazar

Jianwei Niu

17 cilt bulundu.

Cilt sonuçları

CiltTemplate Semantics [microform] : a Parameterized Approach to Semantics-based Model CompilationJianwei Niu

Template Semantics [microform] : a Parameterized Approach to Semantics-based Model Compilation

Jianwei Niu · Library and Archives Canada = Bibliothèque et Archives Canada

243 sayfa · 2005

Kategori yok

Computer scienceA Logical Framework for Sequence Diagram with Combined FragmentsHui Shen, Mark Robinson, Jianwei Niu

A Logical Framework for Sequence Diagram with Combined Fragments

Hui Shen, Mark Robinson, Jianwei Niu · Yayınevi bilinmiyor

34 sayfa · 2011

Computer science

Computer securityRethinking Security Requirements in RE ResearchHanan Hibshi, Rocky Slavin, Jianwei Niu, Travis Breaux

Rethinking Security Requirements in RE Research

Hanan Hibshi, Rocky Slavin, Jianwei Niu, Travis Breaux · Yayınevi bilinmiyor

13 sayfa · 2014

Computer security

Code generatorsAutomatic Generation of Implementations for Object-oriented AbstractionsBilinmeyen yazar

Automatic Generation of Implementations for Object-oriented Abstractions

Bilinmeyen yazar · Yayınevi bilinmiyor

10 sayfa · 2009

Code generators

Mobile appsPoliDroid-ASRocky Slavin, Xiaoyin Wang, Mitra Bokaei Hosseini, Jianwei Niu, Jaspreet Bhatia, Travis Breaux

PoliDroid-AS

Rocky Slavin, Xiaoyin Wang, Mitra Bokaei Hosseini, Jianwei Niu, Jaspreet Bhatia, Travis Breaux · Yayınevi bilinmiyor

4 sayfa · 2017

Mobile apps

Computer networksFormal Verification of Security Properties in Trust Management PolicyJianwei Niu, William H. Winsborough, Mark Reith

Formal Verification of Security Properties in Trust Management Policy

Jianwei Niu, William H. Winsborough, Mark Reith · Yayınevi bilinmiyor

62 sayfa · 2011

Computer networks

Computer softwareFormalize UML 2 Sequence DiagramsHui Shen

Formalize UML 2 Sequence Diagrams

Hui Shen · Yayınevi bilinmiyor

10 sayfa · 2008

Computer software

Computer securitySequence Diagrams Aided Security Policy SpecificationHui Shen

Sequence Diagrams Aided Security Policy Specification

Hui Shen · Yayınevi bilinmiyor

59 sayfa · 2014

Computer security

CiltSpecial Section on the International Conference on the Foundations of Software EngineeringSymposium on the Foundations of Software Engineering, William G. Griswold

Special Section on the International Conference on the Foundations of Software Engineering

Symposium on the Foundations of Software Engineering, William G. Griswold · Yayınevi bilinmiyor

96 sayfa · 2003

Kategori yok

CiltBought and Paid forBilinmeyen yazar

Bought and Paid for

Bilinmeyen yazar · Yayınevi bilinmiyor

41 sayfa · 1850*

Kategori yok

Computer softwareCollective Specification and Verification of Behavioral Models and Object-oriented ImplementationsQing Yi, Jianwei Niu, Anitha R. Marneni

Collective Specification and Verification of Behavioral Models and Object-oriented Implementations

Qing Yi, Jianwei Niu, Anitha R. Marneni · Yayınevi bilinmiyor

29 sayfa · 2010

Computer software

Software engineeringManaging Security Requirements Patterns Using Feature Diagram HierarchiesRocky Slavin, Jean-Michel Lehker, Jianwei Niu, Travis Breaux

Managing Security Requirements Patterns Using Feature Diagram Hierarchies

Rocky Slavin, Jean-Michel Lehker, Jianwei Niu, Travis Breaux · Yayınevi bilinmiyor

13 sayfa · 2014

Software engineering

Computer securityRefinement-based Design of a Group-centric Secure Information Sharing ModelWanying Zhao, Jianwei Niu, William H. Winsborough

Refinement-based Design of a Group-centric Secure Information Sharing Model

Wanying Zhao, Jianwei Niu, William H. Winsborough · Yayınevi bilinmiyor

12 sayfa · 2011

Computer security

Computer networksFormal Models for Group-centric Secure Information SharingBilinmeyen yazar

Formal Models for Group-centric Secure Information Sharing

Bilinmeyen yazar · Yayınevi bilinmiyor

13 sayfa · 2009

Computer networks

Computer simulationFormal Analysis of Scenario AggregationHui Shen (Software engineer), Mark Robinson, Jianwei Niu

Formal Analysis of Scenario Aggregation

Hui Shen (Software engineer), Mark Robinson, Jianwei Niu · Yayınevi bilinmiyor

30 sayfa · 2010

Computer simulation

Computer networksEnforceable and Verifiable Stale-safe Security Properties in Distributed SystemsJianwei Niu, Ram Krishnan, Jared F. Bennatt, Ravi Sandhu, William H. Winsborough

Enforceable and Verifiable Stale-safe Security Properties in Distributed Systems

Jianwei Niu, Ram Krishnan, Jared F. Bennatt, Ravi Sandhu, William H. Winsborough · Yayınevi bilinmiyor

57 sayfa · 2011

Computer networks

Cache memoryTowards Practical Privacy Policy EnforcementBilinmeyen yazar

Towards Practical Privacy Policy Enforcement

Bilinmeyen yazar · Yayınevi bilinmiyor

13 sayfa · 2011

Cache memory