4460 search results - page 80 / 892 » Formal methods for interactive systems |
102
Voted
BPM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We put forward an architectural framework that promotes the externalisation of the social dimension that arises in software-intensive systems which, like in healthcare, e...
123
Voted
CORR
1999
Springer
15 years 2 months ago
1999
Springer
This paper introduces a logical system, called BV , which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challe...
141
Voted
ICMI
2009
Springer
15 years 15 days ago
2009
Springer
This article proposes an evaluation framework to benchmark the performance of multimodal fusion engines. The paper first introduces different concepts and techniques associated wi...
128
Voted
FMICS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
122
Voted
FORMATS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...