Sciweavers

2092 search results - page 306 / 419
» A domain specific modeling language for multiagent systems
Sort
View
ATAL
2010
Springer
15 years 8 months ago
Decision making with dynamically arriving information
Decision making is the ability to decide on the best alternative among a set of candidates based on their value. In many real-world domains the value depends on events that occur ...
Meir Kalech, Avi Pfeffer
SIGSOFT
2007
ACM
16 years 7 months ago
Model checking service compositions under resource constraints
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
David S. Rosenblum, Howard Foster, Jeff Kramer, Je...
POPL
2009
ACM
16 years 7 months ago
Automatic modular abstractions for linear constraints
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
David Monniaux
LREC
2008
90views Education» more  LREC 2008»
15 years 8 months ago
A Text-based Query Interface to OWL Ontologies
Accessing structured data in the form of ontologies requires training and learning formal query languages (e.g., SeRQL or SPARQL) which poses significant difficulties for non-expe...
Danica Damljanovic, Valentin Tablan, Kalina Bontch...
JUCS
2008
134views more  JUCS 2008»
15 years 6 months ago
A Tool for Reasoning about Qualitative Temporal Information: the Theory of S-languages with a Lisp Implementation
: Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of n...
Irène Durand, Sylviane R. Schwer