2702 search results - page 119 / 541 » Practically Applicable Formal Methods |
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
ECTEL
2007
Springer
15 years 4 months ago
2007
Springer
To answer the challenges of globally distributed organizations facing constant transformation of work, means of ICT supported interorganizational knowledge-creation is needed. Firs...
WSC
1998
14 years 11 months ago
1998
This paper focuses on the practical value of using and selecting rail simulation models to find real solutions to real problems in constrained traffic corridors. It discusses issu...
ICECCS
2007
IEEE
15 years 1 months ago
2007
IEEE
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
DEXAW
2006
IEEE
15 years 4 months ago
2006
IEEE
Organisations may wish to use a standards-defined distributed system in a global sense but also have a requirement for non-standard local behaviour. This reflects the production...