1888 search results - page 158 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
118
Voted
ANSS
2006
IEEE
15 years 9 months ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
137
Voted
ICWE
2005
Springer
15 years 9 months ago
2005
Springer
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
141
Voted
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
145
Voted
JUCS
2008
15 years 3 months ago
2008
: Most of the current academic and professional work requires collaboration between the members of a working group. Groupware tools play a prevailing role in supporting this collab...
125
Voted
ICECCS
2000
IEEE
15 years 8 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...