302 search results - page 35 / 61 » An approach to synthesise safe systems |
105
click to vote
ICWE
2004
Springer
15 years 5 months ago
2004
Springer
Lookup of services is an important issues in many distributed systems. This paper deals with lookup in service-oriented architectures, such as Web services, P2P systems, GRIDs, or ...
99
Voted
VIS
2004
IEEE
16 years 1 months ago
2004
IEEE
The continuing advancement of plasma science is central to realizing fusion as an inexpensive and safe energy source. Gryokinetic simulations of plasmas are fundamental to the und...
115
Voted
ISORC
2005
IEEE
15 years 6 months ago
2005
IEEE
One of the main challenges in getting acceptance for safe object-oriented languages in hard real-time systems is to combine automatic memory management with hard real-time constra...
WORDS
2003
IEEE
15 years 5 months ago
2003
IEEE
Timing analysis is a crucial test for dependable hard real-time systems (DHRTS). The calculation of the worst-case execution time (WCET) is mandatory. As modern compilers are capa...
102
Voted
CCGRID
2007
IEEE
15 years 18 days ago
2007
IEEE
Grid is a computational environment in which applications can use multiple distributed computational resources in a safe, coordinated, efficient and transparent way. Data Integra...