Showing 1 - 20 results of 657 for search 'Chuci~' Skip to content

0 items (Full)

Advanced Search History Search by Map: Arctic Antarctic

Reset Filters

Document Type: Conference Object

Reset Filters

Show filters (1)

Document Type: Conference Object

Search Results - Open Polar - Chuci~

Search Results

Showing 1 - 20 results of 657 for search 'Chuci~', query time: 5.93s Refine Results

Sort

List Grid Visual

Select Page | with selected:

Select result number 1
1

A Model-Checking Tool for Families of Services

by Asirelli, Patrizia, ter Beek, Maurice, Fantechi, Alessandro, Gnesi, Stefania
Published 2011
“...International audience We propose a model-checking tool for on-the-fly verification of properties...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 2
2

A Model-Checking Tool for Families of Services

by Asirelli, Patrizia, ter Beek, Maurice, Fantechi, Alessandro, Gnesi, Stefania
Published 2011
“...International audience We propose a model-checking tool for on-the-fly verification of properties...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 3
3

On Expressiveness and Complexity in Real-time Model Checking

by Bouyer, Patricia, Markey, Nicolas, Ouaknine, Joël, Worrell, James
Published 2008
“...-checking problem has the same complexity as that of~MITL. We~conclude that for model checking the most...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 4
4

The Algorithm to Check the Correct of Practicing SQL DML

by Zhao, Sen, Zou, Xianxia
Published in 2021 10th International Conference on Educational and Information Technology (ICEIT) (2021)

Get access
Get access

Conference Object
Select result number 5
5

A Model-Checking Tool for Families of Services

by Asirelli, Patrizia, ter Beek, Maurice, H., Fantechi, Alessandro, Gnesi, Stefania
Published 2011
“...International audience We propose a model-checking tool for on-the-fly verification of properties...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 6
6

A type checking algorithm for qualified session types

by Giunti, Marco
Published in Electronic Proceedings in Theoretical Computer Science (2011)
“...International audience We present a type checking algorithm for establishing a session-based...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 7
7

A type checking algorithm for qualified session types

by Giunti, Marco
Published in Electronic Proceedings in Theoretical Computer Science (2011)
“...International audience We present a type checking algorithm for establishing a session-based...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 8
8

Partial Order Methods for Statistical Model Checking and Simulation

by Bogdoll, Jonathan, Ferrer Fioriti, Luis, Hartmanns, Arnd, Hermanns, Holger
Published 2011
“...International audience Statistical model checking has become a promising technique to circumvent...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 9
9

Partial Order Methods for Statistical Model Checking and Simulation

by Bogdoll, Jonathan, Ferrer Fioriti, Luis, Hartmanns, Arnd, Hermanns, Holger
Published 2011
“...International audience Statistical model checking has become a promising technique to circumvent...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 10
10

Factors Determining the Gastrointestinal Microbiota in Chinstrap Penguin Chicks

by Barbosa, Andrés, Balagué, Vanessa, Valera, Francisco, Martínez, Ana, Benzal, Jesús, Motas, Miguel, Diaz, Julia I., Pedrós-Alió, Carlos
Published 2018
“... experiment in nesting chinstrap penguins. In experimental nests one of the chicks was exchanged at seven days...”

Get access

Conference Object
Select result number 11
11

Shared Stewardship of Research Data

by Humphrey, Chuck
Published 2016
“.... Chuck will speak about developments in research data management services and infrastructure across...”

Get access
Get access

Conference Object
Select result number 12
12

Foraging strategy of little auks during chick rearing in northwest Greenland

by Mosbech, Anders, Møller, Eva Friis, Johansen, Kasper Lambert, Lyngs, Peter
Published 2016
“...Foraging strategy of little auks during chick rearing in northwest Greenland Anders Mosbech, Kasper...”

Get access

Conference Object
Select result number 13
13

ANtarctica: ANalog Thermal Aware, with Reduced Constraint, Technique for Checking & Analysis

by Hany, Sherif, Ragai, Hany Fekri, Hegazi, Emad
Published in 2020 IEEE International Integrated Reliability Workshop (IIRW) (2020)

Get access
Get access

Conference Object
Select result number 14
14

Survey of Migratory Waterfowl on Krystal Lake Quarry Pond, Chazy, NY

by Berrus, Michelle
Published 2014
“... groundwater fed abandoned limestone quarry located 2.14km from Lake Champlain, in Chazy, NY. This small...”

Get access

Conference Object
Select result number 15
15

Survey of Migratory Waterfowl on Krystal Lake Quarry Pond, Chazy, NY

by Berrus, Michelle
Published 2014
“... groundwater fed abandoned limestone quarry located 2.14km from Lake Champlain, in Chazy, NY. This small...”

Get access

Conference Object
Select result number 16
16

GIS Meets Social Media: Foursquare Check-ins and Economic Geography

by Fekete, Emily
Published 2013

Get access
Get access

Conference Object
Select result number 17
17

Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces

by Yang, Fan, Aotani, Tomoyuki, Masuhara, Hidehiko, Nielson, Flemming, Nielson, Hanne
Published 2011

Get access
Get access
Get access
Get access

Conference Object
Select result number 18
18

Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces

by Yang, Fan, Aotani, Tomoyuki, Masuhara, Hidehiko, Nielson, Flemming, Nielson, Hanne
Published 2011

Get access
Get access
Get access
Get access

Conference Object
Select result number 19
19

Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces

by Yang, Fan, Aotani, Tomoyuki, Masuhara, Hidehiko, Nielson, Flemming, Nielson, Hanne
Published 2011

Get access
Get access
Get access
Get access

Conference Object
Select result number 20
20

Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking

by Braitling, Bettina, Wimmer, Ralf, Becker, Bernd, Jansen, Nils, Ábrahám, Erika
Published 2011
“... checking process. In contrast to, e.,g., digital circuits where counterexamples typically consist of a...”

Get access
Get access
Get access
Get access

Conference Object