448 search results - page 24 / 90 » A Meta-Method for Formal Method Integration |
127
click to vote
FM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
109
Voted
AGI
2008
15 years 4 months ago
2008
Rich computer simulations or quantitative models can enable an agent to realistically predict real-world behavior with precision and performance that is difficult to emulate in log...
137
Voted
EUROMICRO
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
145
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...
116
Voted
DGO
2003
15 years 4 months ago
2003
Metadata descriptions of database contents are required to build and use systems that access and deliver data in response to user requests. When numerous heterogeneous databases a...