Search Results for Business.

Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

Yazar

Alferes, Jose Julio. editor.

http://dx.doi.org/10.1007/978-3-319-42019-6

Format:

Electronic Resources

Alıntı:

, logic programming rule engines, and business rule engines and business rule management systems, Semantic

The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering

Yazar

Jureta, Ivan. author.

http://dx.doi.org/10.1007/978-3-319-18821-8

Format:

Electronic Resources

Alıntı:

major challenge in requirements engineering and business analysis, namely, how to design and define

A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

Yazar

Lindley, Sam. editor.

http://dx.doi.org/10.1007/978-3-319-30936-1

Format:

Electronic Resources

Alıntı:

Scientist Nightmare -- A Branding Strategy for Business Types -- The Recursive Union of Some Gradual Types

Fuzziness in Information Systems How to Deal with Crisp and Fuzzy Data in Selection, Classification, and Summarization

Yazar

Hudec, Miroslav. author.

http://dx.doi.org/10.1007/978-3-319-42518-4

Format:

Electronic Resources

Alıntı:

architecture adjusted specifically for the aims of business and governmental agencies, and shows fuzzy rules

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Yazar

Jones, Cliff. editor.

http://dx.doi.org/10.1007/978-3-319-06410-9

Format:

Electronic Resources

Alıntı:

Reliability Analysis of an Ambient Assisted Living System -- Diagnosing Industrial Business Processes: Early

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Chechik, Marsha. editor.

http://dx.doi.org/10.1007/978-3-662-49674-9

Format:

Electronic Resources

Alıntı:

for Security-sensitive Business Processes -- Developing & Debugging Proof Strategies by Tinkering -- v

Natural Language Processing and Information Systems 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedings

Yazar

Métais, Elisabeth. editor.

http://dx.doi.org/10.1007/978-3-319-41754-7

Format:

Electronic Resources

Alıntı:

Induction Using Content and Interlink Connections -- Re-expressing Business Processes Information from

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Yazar

Margaria, Tiziana. editor.

http://dx.doi.org/10.1007/978-3-662-45231-8

Format:

Electronic Resources

Alıntı:

Interdisciplinary Healthcare Research: A Proposal -- Domain-Specific Business Modeling with the Business Model

	{displayName}	{count}
{error}