4592 search results - page 187 / 919 » Framework for Studying Substitution |
APSEC
2008
IEEE
15 years 8 days ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
104
Voted
ASWEC
2008
IEEE
15 years 8 days ago
2008
IEEE
Abstract-- While mobile users want to obtain software anywhere and anytime without the knowledge of software availability in advance, software providers want to deploy their softwa...
108
Voted
ESTIMEDIA
2008
Springer
15 years 1 days ago
2008
Springer
The relentless increase in multimedia embedded system application requirements as well as improvements in IC design technology have motivated the deployment of chip multiprocessor ...
75
Voted
ASUNAM
2010
IEEE
14 years 11 months ago
2010
IEEE
The phenomenal success of social networking sites, such as Facebook, Twitter and LinkedIn, has revolutionized the way people communicate. This paradigm has attracted the attention ...
ICWS
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...