3444 search results - page 282 / 689 » A Theory of Object-Oriented Design |
164
click to vote
BIRTHDAY
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
197
click to vote
LPAR
2005
Springer
16 years 8 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
192
click to vote
CIA
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Today’s software platforms that support the construction of agent systems in accordance with the FIPA specifications essentially provide enabling infrastructure servic...
163
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Trust management, broadly intended as the ability to maintain belief relationship among entities, is recognized as a fundamental security challenge for autonomous and selforgan...
260
click to vote
SEAAI
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In the past, some information technologies (IT) have quickly been adopted by the engineering practice while the implementation of others has been slower. In the paper, th...