Once you decide on the exact specs of the photo you're going to post, you click on the green check mark provided, and the app's flow allows you to input a description and a Twitter-like hashtag for search, geotag the photo, and share to Twitter, Facebook, Tumblr, Posterous, Foursquare or via email.
In other words, probabilistic model checking requires, like non-probabilistic model checking, two key inputs: a description of the system in some high-level modeling formalism and a specification of one or more desired properties of that system in temporal logic.
In data modeling, in order to give a meaningful interpretation of input samples, a description of the data generating process is needed.
The input is a description of a machine's geometry and material properties, and the output is a behavioral model for the machine and a concise qualitative/quantitative prediction of the machine's long-term behavior.
In the future, we plan to implement an enhanced version of the service, where the input is a description of a procedure from which the set of the substance-phase-quantity triples is automatically extracted and enriched.
Information includes the type of input required, a number of example inputs, and a description of the output provided by the query.
ArchC takes as input a processor description and automatically generates a SystemC program containing an object code decoder, a Linux syscall interface, and a simulator for the given microprocessor.
(i) Our system takes as input a functional description of a disease, established by an expert using the GO vocabulary (see Section 3.2), as well as available experimental datasets.
The algorithm generates an SMV input file containing a description of the SIPN and temporal logic formulae for standard properties of the controller.
Second, the manager adds a new task based on the model and inputs a problem description about the facility that requires maintenance.
This implementation takes as input a DAML-S description of a Web service, automatically generates a Petri Net and performs the desired analysis.
