1438 search results - page 33 / 288 » Models for Trustworthy Service and Process Oriented Systems |
188
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
168
click to vote
ICWE
2007
Springer
16 years 10 days ago
2007
Springer
In recent years, innovation in technologies such as web services, business process automation, etc., have motivated a new paradigm in the application development field to appear, k...
185
click to vote
SAC
1998
ACM
15 years 9 months ago
1998
ACM
Fuzzy Logic has traditionally found an application in control theory, systems analysis, and artificial intelligence [9] [7]. However, it is very difficult to apply it to tradition...
161
click to vote
FGCN
2008
IEEE
16 years 19 days ago
2008
IEEE
The home network system (HNS, for short) is comprised of networked home appliances, which achieves various value-added services for home users. Assuring safety of the HNS and the ...
168
click to vote
IEEESCC
2006
IEEE
16 years 6 days ago
2006
IEEE
The MIDAS system that we have developed is an automated supply chain management system based on the Service Oriented Architecture and Web Services. MIDAS provides a loosely-couple...