4266 search results - page 556 / 854 » A Framework for Defining Logics |
118
click to vote
ETFA
2006
IEEE
16 years 25 days ago
2006
IEEE
Increasingly, fieldbuses are used in a variety of applications as the end users make large investments on fieldbus installations. Therefore the availability of these fieldbuses is...
210
click to vote
EUROMICRO
2006
IEEE
16 years 25 days ago
2006
IEEE
Understanding complex component-based systems often requires getting insight in how certain system properties, such as performance, trust, reliability, or structural attributes, c...
132
Voted
ITICSE
2006
ACM
16 years 22 days ago
2006
ACM
This paper illustrates how the notion of pattern can be used in the automatic analysis and synthesis of diagrams, applied particularly to the automatic marking of ER-diagrams. The...
170
click to vote
ISPW
2005
IEEE
16 years 11 days ago
2005
IEEE
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...
183
click to vote
WSE
2005
IEEE
16 years 11 days ago
2005
IEEE
Grid services are emerged by integrating Grid computing and Web services to perform a seamless information processing system across distributed, heterogeneous, dynamic virtual org...