1728 search results - page 272 / 346 » Formal Modeling of Process Migration |
106
click to vote
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
Failure Mode and Effects Analysis (FMEA) is a wellknown technique widely used for safety assessment in the area of safety-critical systems. However, FMEA is traditionally done man...
120
click to vote
EEE
2005
IEEE
15 years 6 months ago
2005
IEEE
As the IT industry is becoming more and more interested in service oriented business models and upcoming technologies like Web Services or Grid Computing, the need for automated c...
98
Voted
KCAP
2005
ACM
15 years 6 months ago
2005
ACM
User-centered consultation systems can be viewed as systems with trust in the competence of the user, whereas conventional knowledge systems are often based on some mistrust. By o...
117
click to vote
COORDINATION
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Recently the term Web Services Orchestration has been introduced to address composition and coordination of Web Services. Several languages to describe orchestration for ...
124
click to vote
FTRTFT
1998
Springer
15 years 4 months ago
1998
Springer
PLC-Automata are a class of real-time automata suitable to describe the behavior of polling real-time systems. PLC-Automata can be compiled to source code for PLCs, a hardware wide...