Your search for 13425 returns 3506 document(s) |
Implementing scoped behavior for flexible distributed data sharing, page 63 |
Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A Flexible authorization mechanism for ralational data management systems, page 101 |
Author: Elisa B. | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A High-level and flexible framework for implementing multiuser user interfaces, page 345 |
Author: Prasun Dewan | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A Model -Checking Verification Environment for Mobile Processes, page 440-472 |
Author: G. -L. Ferrari, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Symbolic Model Checking of UML Activity Diagrams, page 1-38 |
Author: R. Eshuis | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Composite Model-Checking: Verification with Type-Specific Symbolic Representations, page 3-50 |
Author: Tevfik Bultan, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Static Checking of System Behaviors Using Derived Component Assumptions, page 239-272 |
Author: Paola Inverardi, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
E-process design and assurance using model checking, page 48 |
Author: Wenli Wang | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Using photo-consistency to register 2D optical images of the human face to a 3D surface model, page 1266 |
Author: M.J. Clarkson | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Sugeno fuzzy integral as a basis for the interpretation of flexible queries involving monitoring aggregates, page 287 |
Author: P. Bose | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|