813 search results - page 93 / 163 » Correctness Properties for Multiagent Systems |
125
Voted
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
127
Voted
SIES
2007
IEEE
15 years 10 months ago
2007
IEEE
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
116
Voted
ECRTS
2005
IEEE
15 years 9 months ago
2005
IEEE
Open real-time systems provide for co-hosting hard-, soft- and non-real-time applications. Microkernel-based designs in addition allow for these applications to be mutually protec...
167
Voted
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...
125
Voted
ENTCS
2006
15 years 3 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...