348 search results - page 59 / 70 » Verification of Language Based Fault-Tolerance |
DATE
2004
IEEE
14 years 6 days ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
COMGEO
2010
ACM
13 years 11 months ago
2010
ACM
Today sophisticated concepts, languages and frameworks exist, that allow implementing powerful fine grained access control systems for protecting Web Services and spatial data in ...
ERLANG
2008
ACM
13 years 10 months ago
2008
ACM
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...
FDBS
2001
13 years 9 months ago
2001
Integrating data sources is a general problem in many scenarios. The main problem is the heterogeneity between data sources which were created and developed separately. In the lit...
ENTCS
2008
13 years 8 months ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...