প্রস্তাবিত প্রসঙ্গ আপনার সার্চের মধ্যে
প্রস্তাবিত প্রসঙ্গ আপনার সার্চের মধ্যে
বিকল্প অনুসন্ধান করুন:
computing processing » computing proceeding, computing proceedings, computer processing
programmed contract » programme contract, programming contract, programming contracts
services computing » server computing, services computer, service computer
contract nets » contract net, contract need, contract new
computing processing » computing proceeding, computing proceedings, computer processing
programmed contract » programme contract, programming contract, programming contracts
services computing » server computing, services computer, service computer
contract nets » contract net, contract need, contract new
1
প্রকাশিত 2010
সূচিপত্রের সারণি:
“... Service Planning -- Integrated Service Process Adaptation -- Contract Based, Non-invasive, Black-Box...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
2
প্রকাশিত 2005
সূচিপত্রের সারণি:
“... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
3
প্রকাশিত 2014
সূচিপত্রের সারণি:
“... Private Key Generation by Composing Petri Nets -- Software Engineering with Petri Nets: A Web Service...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
4
প্রকাশিত 2006
সূচিপত্রের সারণি:
“... -- Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
5
প্রকাশিত 2005
সূচিপত্রের সারণি:
“...Research Papers -- Modeling and Analysis of Mobile Service Processes by Example of the Housing...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
6
প্রকাশিত 2006
সূচিপত্রের সারণি:
“... Basic Contract Language for Web Services -- Types for Dynamic Reconfiguration -- Size-Change Termination...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
7
প্রকাশিত 2005
সূচিপত্রের সারণি:
“... Production on the Grid -- High Throughput Computing for Spatial Information Processing (HIT-SIP) System...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
8
প্রকাশিত 2008
সূচিপত্রের সারণি:
“... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
9
10
প্রকাশিত 2006
সূচিপত্রের সারণি:
“... -- Combining Answer Sets of Nonmonotonic Logic Programs -- Speculative Constraint Processing with Iterative...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
11
প্রকাশিত 2005
সূচিপত্রের সারণি:
“... Interpretations of Petri Nets -- Merged Processes — A New Condensed Representation of Petri Net Behaviour...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
12
প্রকাশিত 2007
সূচিপত্রের সারণি:
“... Operators in Stochastic Domains -- Competitive Contract Net Protocol -- Agent Oriented Methodology...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
13
প্রকাশিত 2005
সূচিপত্রের সারণি:
“... for Searching and Maintaining the Information Space -- Architecture of a Business Framework for the .NET...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
14
প্রকাশিত 2008
সূচিপত্রের সারণি:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
15
প্রকাশিত 2014
সূচিপত্রের সারণি:
“... Contract-Based Design -- Verification of Markov Decision Processes Using Learning Algorithms -- Test...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
16
প্রকাশিত 2008
সূচিপত্রের সারণি:
“... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
17
প্রকাশিত 2010
সূচিপত্রের সারণি:
“...Invited Papers -- Automatic Requirement Extraction from Test Cases -- Code Contracts for .NET...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
18
প্রকাশিত 2008
সূচিপত্রের সারণি:
“... -- The ARTIST Project -- Causal Semantics for the Algebra of Connectors -- Multiple Viewpoint Contract-Based...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
19
প্রকাশিত 2014
সূচিপত্রের সারণি:
“...Approximations for Stochastic Graph Rewriting -- Computing Maximal Bisimulations -- Improving...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
20
প্রকাশিত 2007
সূচিপত্রের সারণি:
“... -- On the Efficient Computation of the Minimal Coverability Set for Petri Nets -- Analog/Mixed-Signal Circuit...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ