210 results
Search Results
2. Norm Conflict Identification Using a Convolutional Neural Network
3. Refinement Type Contracts for Verification of Scientific Investigative Software
4. Norm Conflict Identification Using Deep Learning
5. Transaction Costs in the IT Project Implementation Illustrated with the Example of Silesian Card of Public Services
6. An International Analysis of Project Delivery Systems for Public Works Projects
7. A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics
8. Analysing the Suitability of Multiagent Methodologies for e-Health Systems
9. Component Publications and Compositions
10. Reasoning on Models Combining Objects and Aspects
11. Three Roads to Complexity, AI and the Law of Robots: On Crimes, Contracts, and Torts
12. Deterring Online Advertising Fraud through Optimal Payment in Arrears
13. Contract-Based Web Service Composition Framework with Correctness Guarantees
14. Contracts for ODP
15. The Contracting of Advanced Services Based on Digitally-Enabled Product-Service Systems
16. Research Trend of Psychological Contract in Construction Management
17. Barriers to Knowledge Management Beyond Organisational Boundaries in the South African Construction Sector
18. Suitability of FIDIC Contracts for Post-disaster Reconstruction of Infrastructure Projects
19. Contracts of Transport Services Provision as a Factor of Increasing the Effectiveness of the Urban Public Transport
20. Modal Epistemic Logic on Contracts: A Doctrinal Approach
21. How to Assess Cloud Service Contracts? : A Checklist for Trustworthy Records in the Cloud
22. Predicate Abstraction and Such...
23. Regulatory Competition in Contract Law and Dispute Resolution
24. Technology Regulation 2.0?
25. Toward a Perdurantist Ontology of Contracts
26. Deductive Verification Based Abstraction for Software Model Checking
27. Formally Verifying Decompositions of Stochastic Specifications
28. Hierarchical Contract-Based Synthesis for Assurance Cases
29. Loop Verification with Invariants and Contracts
30. Effect of Adopting the Criterion of Revenue from Contracts with Clients on Accounting Conservatism
31. Legal Implications of Digitization in the Construction Industry
32. A Review of Contract Entity Extraction
33. A Dynamic License Agreement System for Reuse of Web Contents
34. Private and Public Sector Regulation of Competitively Tendered Contracts
35. Consolidating Economic Exchange Ontologies for Corporate Reporting Standard Setting
36. Contract-Based Specification and Test Generation for Adaptive Systems
37. Smart Contracts for Global Sourcing Arrangements
38. Compositional and Contract-Based Verification for Autonomous Driving on Road Networks
39. Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo
40. Quo Vadis Commercial Contract? : Reflections on Sustainability, Ethics and Technology in the Emerging Law and Practice of Global Commerce
41. FCL: A Formal Language for Writing Contracts
42. Preserving Contract Satisfiability Under Non-monotonic Composition
43. Good Faith in Contract and Property Law
44. Organized Labor and Commercial Advertising: Music Unions and J. Walter Thompson
45. Managing Buyer-Supplier Relationships in the Maritime Engineer-to-Order Industry
46. Multidirectional Modular Conditional Safety Certificates
47. Agent-Oriented Software Engineering of Distributed eHealth Systems
48. Towards Specialization of the Contract-Aware Software Development Process
49. Contractual Agreement Design for Enforcing Honesty in Cloud Outsourcing
50. Promises and Agreements : Philosophical Essays
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.