4799 search results - page 691 / 960 » Model Based Requirements Engineering for Embedded Software |
186
click to vote
ANTSW
2010
Springer
15 years 4 months ago
2010
Springer
Activator-inhibitor models have been widely used to explain several morphogenetic processes. They have also been used to engineer algorithms for computer graphics, distributed syst...
173
click to vote
ISPASS
2009
IEEE
16 years 1 months ago
2009
IEEE
Modern network devices employ deep packet inspection to enable sophisticated services such as intrusion detection, traffic shaping, and load balancing. At the heart of such servi...
183
click to vote
IEEEARES
2007
IEEE
16 years 26 days ago
2007
IEEE
Model-based development has become state of the art in software engineering. A number of tools, like Matlab/Simulink or SCADE, are available for the automatic generation of applic...
197
click to vote
ICFEM
2004
Springer
15 years 12 months 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...
164
click to vote
SACMAT
2010
ACM
15 years 11 months ago
2010
ACM
Policy authors typically reconcile several different mental models and goals, such as enabling collaboration, securing information, and conveying trust in colleagues. The data un...