1318 search results - page 80 / 264 » The formal semantics of the timeER model |
132
click to vote
JSW
2008
15 years 1 months ago
2008
Automated negotiation is an important applying field of agent theory and technology. For the current agent theoretical models have some troubles in explaining the agent's nego...
106
click to vote
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...
120
click to vote
MEMOCODE
2003
IEEE
15 years 7 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
117
click to vote
FM
1999
Springer
15 years 6 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
124
click to vote
PUK
2003
15 years 3 months ago
2003
In order to handle the large amount of variability in product families, automated product derivation support is desirable. To make automated product derivation possible one importa...