2702 search results - page 148 / 541 » Practically Applicable Formal Methods |
106
click to vote
JKM
2007
15 years 2 months ago
2007
Purpose – The purpose of this paper is to distinguish and describe knowledge management (KM) technologies according to their support for strategy. Design/methodology/approach â€...
100
click to vote
IFL
2000
Springer
15 years 5 months ago
2000
Springer
Sac is a functional array processing language particularly designed with numerical applications in mind. In this field the runtime performance of programs critically depends on the...
115
click to vote
SAS
2000
Springer
15 years 5 months ago
2000
Springer
Design constraints express essential behavioural properties of a software system. Two key elements of a scheme for enforcing design constraints are presented: a logic for describin...
140
click to vote
FORMATS
2010
Springer
15 years 9 days ago
2010
Springer
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...
TYPES
2000
Springer
15 years 5 months ago
2000
Springer
We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic ru...