413 results on '"Farhad Arbab"'
Search Results
102. Data optimizations for constraint automata.
103. Modularizing and Specifying Protocols among Threads
104. From Timed Reo Networks to Networks of Timed Automata.
105. Overview of Thirty Semantic Formalisms for Reo.
106. Symbolic execution of Reo circuits using constraint automata.
107. Connectors as designs: Modeling, refinement and test case generation.
108. Dynamic Reconfiguration in Coordination Languages.
109. Distributed Splitting of Constraint Satisfaction Problems.
110. A Logical Interface Description Language for Components.
111. A Coordination Lanuage for Mobile Components.
112. Channel-based coordination via constraint satisfaction.
113. Modeling dynamic reconfigurations in Reo using high-level replacement systems.
114. Synthesis of Reo circuits from scenario-based interaction specifications.
115. Dynamic Process Composition and Communication Patterns in Irregularly Structured Applications.
116. Coordination Programming for Parallel and Distributed Applications.
117. Connectors as Designs.
118. Automated Analysis of Reo Circuits using Symbolic Execution.
119. QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata.
120. Model Checking of Component Connectors.
121. Using coordination for cooperative constraint solving.
122. Modelling activities in information systems using the coordination language MANIFOLD.
123. Modeling Electronic Commerce Activities Using Control-Driven Coordination.
124. Coordination and its Relevance.
125. Synthesis of Reo Circuits from Scenario-based Specifications.
126. Deconstructing Reo.
127. Parallel Evolutionary Computation: Multi Agents Genetic Algorithms.
128. The Influence of Coordination on Program Structure.
129. Control-Based Coordination of Human and Other Activities in Cooperative Information Systems.
130. Parallel and Distributed Evolutionary Computation with MANIFOLD.
131. Control-Driven Coordination Programming in Shared Dataspace.
132. Connector Rewriting with High-Level Replacement Systems.
133. Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture.
134. Models and temporal logical specifications for timed component connectors.
135. Connector colouring I: Synchronisation and context dependency.
136. Reusable Coordinator Modules for Massively Concurrent Applications.
137. Coordination of Systems with Real-Time Properties in Manifold.
138. Restructuring sequential Fortran code into a parallel/distributed application.
139. The IWIM Model for Coordination of Concurrent Activities.
140. VISIFOLD: A Visual Environment for a Coordination Language.
141. Coordination of Distributed/Parallel Multi-grid Domain Decomposition.
142. A Component Coordination Model Based on Mobile Channels.
143. A Behavioral Model for Composition of Software Components.
144. Modeling component connectors in Reo by constraint automata.
145. Enterprise architecture: Management tool and blueprint for the organisation.
146. The Role of Agent Interaction in Models of Computing: Panelist Reviews.
147. Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets.
148. Connector Colouring I: Synchronisation and Context Dependency.
149. Coordination for Component Composition.
150. Towards an Automated Deployment Planner for Composition of Web Services as Software Components.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.