448 search results - page 66 / 90 » A Meta-Method for Formal Method Integration |
130
Voted
WSC
2001
15 years 4 months ago
2001
This paper presents an application distributed simulation to the evaluation of virtual enterprises. Each company or candidate can use a simulation of its facilities to determine i...
127
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
136
Voted
DEXAW
2006
IEEE
15 years 8 months ago
2006
IEEE
Organisations may wish to use a standards-defined distributed system in a global sense but also have a requirement for non-standard local behaviour. This reflects the production...
126
Voted
ISSTA
2004
ACM
15 years 8 months ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
100
click to vote
ISOLA
2004
Springer
15 years 8 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...