Sciweavers

2517 search results - page 267 / 504
» Specifying Weak Sets
Sort
View
WSC
1997
15 years 8 months ago
The VisSim/Discrete Event Modeling Environment
VisSim/Discrete Event is a process-oriented, discrete event modeling toolkit based on the powerful and proven graphical interface provided by the underlying VisSim simulation envi...
Herbert D. Schwetman, Arun Mulpur
AAAI
1994
15 years 8 months ago
Formalizing Ontological Commitment
Formalizing the ontological commitment of a logical language means offering a way to specify the intended meaning of its vocabulary by constraining the set of its models, giving e...
Nicola Guarino, Massimiliano Carrara, Pierdaniele ...
BPSC
2009
152views Business» more  BPSC 2009»
15 years 7 months ago
A Formal Temporal Semantics for Microsoft Project based on Allen's Interval Algebra
Process modelling systems are complex and difficult to compare. A key attribute of any process modelling formalism or tool is time which involves how it handles and represents tem...
Denis Gagné, André Trudel
ERCIMDL
2010
Springer
144views Education» more  ERCIMDL 2010»
15 years 7 months ago
Capacity-Constrained Query Formulation
Given a set of keyphrases, we analyze how Web queries with these phrases can be formed that, taken altogether, return a specified number of hits. The use case of this problem is a ...
Matthias Hagen, Benno Stein
DAGSTUHL
2009
15 years 7 months ago
Modeling Dimensions of Self-Adaptive Software Systems
It is commonly agreed that a self-adaptive software system is one that can modify itself at run-time due to changes in the system, its requirements, or the environment in which it ...
Jesper Andersson, Rogério de Lemos, Sam Mal...