1104 search results - page 142 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
120
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Nowadays, many distributed applications take advantage of the transparent distributed object systems provided by CORBA middlewares. While greatly reduce the design and coding effo...
132
click to vote
FTCS
1998
15 years 5 months ago
1998
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
129
click to vote
CARDIS
2004
Springer
15 years 9 months ago
2004
Springer
Smart card applications often handle privacy-sensitive information, and therefore must obey certain security policies. Typically, such policies are described as high-level security...
145
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Drugs can influence the whole metabolic system by targeting enzymes which catalyze metabolic reactions. The existence of interactions between drugs and metabolic react...
165
click to vote
ECLIPSE
2005
ACM
15 years 5 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...