9518 search results - page 1710 / 1904 » On Mobility of Software Processes |
183
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
178
click to vote
FPL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Hardware realization of kernel loops holds the promise of accelerating the overall application performance and is therefore an important part of the synthesis process. In...
152
click to vote
ICSOC
2003
Springer
15 years 11 months ago
2003
Springer
The web-services stack of standards is designed to support the reuse and interoperation of software components on the web. A critical step in the process of developing applications...
159
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
187
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—In order to solve the challenges in processor design for the next generation wireless communication systems, this paper first proposes a system level design flow for communicati...