3765 search results - page 438 / 753 » Formal Methods for Systems Engineering Behavior Models |
164
click to vote
CAD
2004
Springer
15 years 6 months ago
2004
Springer
A concurrent engineering-oriented design database representation model (CE-DDRM) is introduced in this research for supporting various life-cycle aspects in concurrent design. In ...
200
click to vote
AGTIVE
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Aspect-orientation has gained increasing popularity, especially within the programming domain, with textual-based approaches such as AspectJ. Aspect-orientation provides ...
197
click to vote
ICFEM
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
180
click to vote
AI
2007
Springer
16 years 28 days ago
2007
Springer
The judgment that whether an email is spam or non-spam may vary from person to person. Different individuals can have totally different responses to the same email based on their p...
172
click to vote
EMSOFT
2005
Springer
16 years 8 days ago
2005
Springer
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...