Sciweavers

187 search results - page 1 / 38
» Towards Measurable Types for Dynamical Process Modeling Lang...
Sort
View
ENTCS
2010
133views more  ENTCS 2010»
13 years 2 months ago
Towards Measurable Types for Dynamical Process Modeling Languages
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
Eric Mjolsness
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
13 years 8 months ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...
IS
2010
13 years 29 days ago
Evaluating ontologies: Towards a cognitive measure of quality
Business process models are an important tool in understanding and improving the efficiency of a business and in the design of information systems. Recent work has evaluated busin...
Joerg Evermann, Jennifer Fang
ICC
2007
IEEE
13 years 8 months ago
A Measurement Based Dynamic Policy for Switched Processing Systems
Abstract- Switched Processing Systems (SPS) represent a canonical model for many areas of applications of communication, computer and manufacturing systems. They are characterized ...
Ying-Chao Hung, George Michailidis
CSFW
2012
IEEE
11 years 5 months ago
Information-Flow Security for a Core of JavaScript
—Tracking information flow in dynamic languages remains an important and intricate problem. This paper makes substantial headway toward understanding the main challenges and res...
Daniel Hedin, Andrei Sabelfeld