Search

Your search keyword '"Caires AS"' showing total 252 results

Search Constraints

Start Over You searched for: Author "Caires AS" Remove constraint Author: "Caires AS" Publication Type eBooks Remove constraint Publication Type: eBooks
252 results on '"Caires AS"'

Search Results

1. Rapid REST API Management in a DEMO Based Low Code Platform

2. The Session Abstract Machine

3. Design Thinking Methodology and Text-To-Image Artificial Intelligence: A Case Study in the Context of Furniture Design Education

4. Conclusion: The Blame Game of Corruption

6. From Global Governance to Policy Design

8. A Paradigm Shift in Global Governance

9. Analytical Framework

11. Empirical Studies on the Conditions of Achieving Interactive Mindfulness Through Virtual Reality Single User Experience in Macao

12. i-Cube, an (In)tangible Interface for Multi-user Generative Art Creation

13. Increased Abdominal Perimeter Differently Affects Respiratory Function in Men and Women

14. Safe Session-Based Concurrency with Shared Linear State

15. Interactions of Nanomaterials with Plant Pigments

17. Understanding the Interaction of Nanopesticides with Plants

20. Fake News and Social Networks: How Users Interact with Fake Content

21. Programming Teaching Tools Feature Assessment Associated with Brazilian Curriculum Base Obtained Through BPL Platforms Analysis

23. Linearity, Control Effects, and Behavioral Types

24. Multiparty Session Types Within a Canonical Binary Theory, and Beyond

25. Corecursion and Non-divergence in Session-Typed Processes

26. Rely-Guarantee Protocols

28. A Type System for Flexible Role Assignment in Multiparty Communicating Systems

29. Higher-Order Processes, Functions, and Sessions: A Monadic Integration

30. Behavioral Polymorphism and Parametricity in Session-Based Communication

31. Linear Logical Relations for Session-Based Concurrency

32. SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications

33. Functions as Session-Typed Processes

34. Analysis of Service Oriented Software Systems with the Conversation Calculus

35. Proof-Carrying Code in a Session-Typed Process Calculus

36. Tools and Verification

37. Core Calculi for Service-Oriented Computing

38. Type-Based Access Control in Data-Centric Systems

39. A Type System for Access Control Views in Object-Oriented Languages

40. Session Types as Intuitionistic Linear Propositions

41. A Process Calculus Analysis of Compensations

42. Conversation Types

43. The Conversation Calculus: A Model of Service-Oriented Computation

44. Logical Semantics of Types for Concurrency

45. Spatial-Behavioral Types, Distributed Services, and Resources

46. SCC: A Service Centered Calculus

47. Types for Dynamic Reconfiguration

48. Subtyping First-Class Polymorphic Components

49. Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency

Catalog

Books, media, physical & digital resources