164 results on '"Börger, A."'
Search Results
2. A waypoint based approach to visibility in performance based fire safety design.
3. Sensor Visibility Estimation: Metrics and Methods for Systematic Performance Evaluation and Improvement.
4. A Characterization of Distributed ASMs with Partial-Order Runs.
5. Concurrent Computing with Shared Replicated Memory.
6. Use of the Lean Methodology to Reduce Truck Repair Time: A Case Study.
7. Study on the Variation of the A Fund of the Pension System in Chile Applying Artificial Neural Networks.
8. A Behavioural Theory of Recursive Algorithms.
9. Sensor Visibility Estimation: Metrics and Methods for Systematic Performance Evaluation and Improvement.
10. The Role of Executable Abstract Programs in Software Development and Documentation.
11. Why Programming Must Be Supported by Modeling and How.
12. A Behavioural Theory of Recursive Algorithms.
13. Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets.
14. A Compact Encoding of Sequential ASMs in Event-B.
15. The abstract state machines method for modular design and analysis of programming languages.
16. Communication in Abstract State Machines.
17. Concurrent Computing with Shared Replicated Memory.
18. A comparative investigation of device-specific mechanisms for exploiting HPC accelerators.
19. Modeling for change via component-based decomposition and ASM refinement.
20. Abstract state machine nets: closing the gap between business process models and their implementation.
21. User Perception and Response to Computer Security Warnings.
22. Concurrent abstract state machines.
23. Serialisable multi-level transaction control: A specification and verification.
24. Specifying Transaction Control to Serialize Concurrent Program Executions.
25. Subject-Orientation as a Method to Specify the Cooperation of Active Entities in the uCepCortex Project.
26. Contribution to a Rigorous Analysis of Web Application Frameworks.
27. The Subject-Oriented Approach to Software Design and the Abstract State Machines Method.
28. The Subject-Oriented Approach to Software Design and the Abstract State Machines Method.
29. Contribution to a Rigorous Analysis of Web Application Frameworks.
30. Synchronous Message Passing and Semaphores: An Equivalence Proof.
31. Specifying Transaction Control to Serialize Concurrent Program Executions.
32. Serialisable Multi-Level Transaction Control: A Specification and Verification.
33. Modeling web applications infrastructure with ASMs.
34. Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach.
35. Concurrent Abstract State Machines and +CAL Programs.
36. Coupling Design and Verification in Software Product Lines.
37. Modeling Workflow Patterns from First Principles.
38. A Method for Verifiable and Validatable Business Process Modeling.
39. Design Pattern Abstractions and Abstract State Machines.
40. Introduction.
41. The ASM Method: a Cornerstone in Computer Science Education.
42. A Compositional Framework for Service Interaction Patterns and Interaction Flows.
43. An Abstract Model for Process Mediation.
44. Using Abstract State Machines for the Description and the Analysis of Formal Systems.
45. Linking the Meaning of Programs to What the Compiler Can Verify.
46. A High-Level Specification for Mediators(Virtual Providers).
47. The ASM Method for System Design and Analysis. A Tutorial Introduction.
48. An ASM Specification of C# Threads and the .NET Memory Model.
49. Modeling with Abstract State Machines: A support for accurate system design and analysis.
50. A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.