151 search results - page 28 / 31 » Model-Driven Protocol Design Based on Component Oriented Mod... |
170
Voted
AAAI
1998
15 years 7 months ago
1998
The technology for building large knowledge bases (KBs) is yet to witness a breakthrough so that a KB can be constructed by the assembly of prefabricated knowledge components. Kno...
224
click to vote
HPTS
1993
15 years 10 months ago
1993
Elements of transaction processing become more and more accepted as a base for general purpose distributed computing.We have developed an action concept with an extended functiona...
204
click to vote
PEWASUN
2004
ACM
15 years 11 months ago
2004
ACM
This paper studies the performance of a multi-rate mobile ad hoc network (MANET) using an extended ns-2 simulator. A link adaptation algorithm is developed and tested. The multi-r...
154
Voted
LICS
1996
IEEE
15 years 10 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
170
Voted
MMMACNS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...