394 search results - page 19 / 79 » Composing Specifications |
IFM
2000
Springer
15 years 1 months ago
2000
Springer
This paper presents a formal language for the design of component-based enterprise system. The language (StAC) allows the usual parallel and sequential behaviours, but most signifi...
IPPS
1999
IEEE
15 years 1 months ago
1999
IEEE
Abstract. This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared ...
64
Voted
ECWEB
2004
Springer
15 years 3 months ago
2004
Springer
RDDOnto is an ontology that translates the MPEG-21 RDD (Rights Data Dictionary) specification into a hierarchical set of definitions with semantic content included. In the event th...
ICECCS
1999
IEEE
15 years 2 months ago
1999
IEEE
Configuring and deploying a large software system is complicated when the system is composed of components and when there are numerous possible configurations for the system. In s...
73
Voted
PDPTA
2003
14 years 11 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...