3765 search results - page 175 / 753 » Formal Methods for Systems Engineering Behavior Models |
156
click to vote
AAAI
2006
15 years 8 months ago
2006
Modern artifacts are typically composed of many system components and exhibit a complex pattern of continuous/discrete behaviors. A concurrent hybrid automaton is a powerful model...
184
click to vote
IADIS
2003
15 years 8 months ago
2003
Predicting the interests of a user in information is an important process in personalized information systems. In this paper, we present a way to create prediction engines that al...
165
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...
190
click to vote
SEFM
2005
IEEE
16 years 3 days ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
209
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...