3605 search results - page 116 / 721 » System and simulation modeling using SysML |
100
click to vote
WSC
1998
15 years 4 months ago
1998
A simulation model is composed of inputs and logic; the inputs represent the uncertainty or randomness in the system, while the logic determines how the system reacts to the uncer...
119
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
206
click to vote
NCM
2010
15 years 1 months ago
2010
—The objective of the paper is to propose a predictable context sensitive trust model for a business system. A business system can be imagined with four basic entities between wh...
143
Voted
ISSTA
2009
ACM
15 years 7 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
115
click to vote
FDL
2005
IEEE
15 years 8 months ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...