|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 38 occurrences of 36 keywords
|
|
|
|
|
Results
Found 214 publication records. Showing 214 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Shahram Esmaeilsabzali, Farhad Mavaddat, Nancy A. Day |
Interface Automata with Complex Actions.  |
FSEN  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Jamshid Bagherzadeh, S. Arun-Kumar |
Flexible Communication of Agents based on FIPA-ACL. |
FSEN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dave Clarke 0001 |
Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic. |
FSEN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Capra, Walter Cazzola |
A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems. |
FSEN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Kamandi, Mohammad Abdollahi Azgomi, Ali Movaghar 0001 |
Transformation of UML Models into Analyzable OSAN Models. |
FSEN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Farhad Arbab, Marjan Sirjani |
Preface. |
FSEN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Bravetti, Adalberto Casalboni, Manuel Núñez 0001, Ismael Rodríguez |
From Theoretical e-barter Models to an Implementation Based on Web Services. |
FSEN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shunsuke Sasaki, Tasuku Nishihara, Masahiro Fujita |
Slicing-based Hardware/Software Co-design Methodology From Functional Specifications. |
FSEN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatemeh Ghassemi, Samira Tasharofi, Marjan Sirjani |
Automated Mapping of Reo Circuits to Constraint Automata. |
FSEN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Aiguier, Diane Bahrami, Delphine Longuet |
An Abstract Way to Define Rewriting Logic. |
FSEN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahdi Niamanesh, Nafiseh Fekrazad Nobakht, Rasool Jalili, Faranak Heydarian Dehkordi |
On Validity Assurance of Dynamic Reconfiguration for Component-based Programs. |
FSEN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Huang 0004, Hanpin Wang, Peng Yu, Yunni Xia |
Property-Transition-Net-Based Workflow Process Modeling and Verification. |
FSEN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi |
An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types. |
FSEN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen |
Inductive Proof Outlines for Exceptions in Multithreaded Java. |
FSEN |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #214 of 214 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license