Sciweavers

3724 search results - page 511 / 745
» Timed regular expressions
Sort
View
WSC
2004
15 years 6 months ago
Simulating Transportation Practices in Multi-Indenture Multi-echelon (MIME) Systems
Military supply chains encompass a complicated network of customers and suppliers, and deal with a wide variety of items. Demand inside the network is generated at the unit level ...
Joshua Burton McGee, Manuel D. Rossetti, Scott J. ...
IJCAI
1993
15 years 6 months ago
Quantifying Beliefs by Belief Functions: An Axiomatic Justification
: We present a set of axioms that justify the use of belief functions to quantify the beliefs held by an agent Y at time t and based on Y's evidential corpus. It is essentiall...
Philippe Smets
SPLC
2007
15 years 6 months ago
Product Line Implementation using Aspect-Oriented and Model-Driven Software Development
Software product line engineering aims to reduce development time, effort, cost, and complexity by taking advantage of the commonality within a portfolio of similar products. The ...
Markus Völter, Iris Groher
WCET
2007
15 years 6 months ago
WCET Analysis: The Annotation Language Challenge
Worst-case execution time (WCET) analysis is indispensable for the successful design and development of systems, which, in addition to their functional constraints, have to satisf...
Raimund Kirner, Jens Knoop, Adrian Prantl, Markus ...
BIRTHDAY
2009
Springer
15 years 6 months ago
On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages
Abstract. The Object Constraint Language (OCL) can be used to capture strucnstraints in the context of the abstract syntax of modelling languages (metamodels) defined in the MOF me...
Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C...