4635 search results - page 457 / 927 » Modeling Design Knowledge on Structure |
210
click to vote
TII
2008
15 years 6 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
175
Voted
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
183
click to vote
HT
2004
ACM
15 years 11 months ago
2004
ACM
Adaptive hypermedia has the goal of contextualizing the display of a hypertext to suit the user and their situation. A variety of aspects of the context can influence the appropri...
167
click to vote
IPMU
2010
Springer
15 years 11 months ago
2010
Springer
Usually, in a group decision context, the importance level, confidence degree and amount of knowledge are very different among individuals. So, when all the individuals have to r...
176
Voted
IJWET
2008
15 years 4 months ago
2008
: Building service-based architectures has become a major area of interest since the advent of web services. Modelling these architectures is a central activity. Model-driven devel...