3765 search results - page 43 / 753 » Formal Methods for Systems Engineering Behavior Models |
104
Voted
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
135
click to vote
ICONS
2009
IEEE
15 years 9 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
111
click to vote
JISE
2007
15 years 2 months ago
2007
Query expansion is extensively applied in information retrieval systems, such as search engines. Most conventional approaches to query expansion have been developed based on textua...
141
Voted
WORDS
2005
IEEE
15 years 8 months ago
2005
IEEE
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
125
click to vote
ETFA
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...