Sciweavers

4513 search results - page 199 / 903
» Modeling with a Sense of Purpose
Sort
View
AGENTCL
2000
Springer
15 years 11 months ago
Using Colored Petri Nets for Conversation Modeling
Conversations are a useful means of structuring communicative interactions among agents. The value of a conversation-based approach is largely determined by the conversational mod...
R. Scott Cost, Ye Chen, Timothy W. Finin, Yannis L...
FMCO
2006
Springer
128views Formal Methods» more  FMCO 2006»
15 years 10 months ago
Model-Based Test Selection for Infinite-State Reactive Systems
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu
DEON
2010
Springer
15 years 9 months ago
A Logical Model of Private International Law
We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they sho...
Phan Minh Dung, Giovanni Sartor
ACMICEC
2008
ACM
220views ECommerce» more  ACMICEC 2008»
15 years 8 months ago
Registering UML models for global and local choreographies
A local choreography describes how a business partner - from his perspective - interacts with other business partners. If local choreographies are developed in isolation, the loca...
Birgit Hofreiter
COLING
2000
15 years 7 months ago
Compiling Language Models from a Linguistically Motivated Unification Grammar
Systems now exist which are able to con:pile unification gralmnars into language models that can be included in a speech recognizer, but it is so far unclear whether non-trivial l...
Manny Rayner, Beth Ann Hockey, Frankie James, Eliz...