6583 search results - page 1185 / 1317 » Semantic Analysis Patterns |
119
Voted
FASE
1998
Springer
15 years 8 months ago
1998
Springer
A critical issue for complex component-based systems design is the modeling and analysis of architecture. One of the complicating factors in developing architectural models is acc...
141
Voted
ICSE
1998
IEEE-ACM
15 years 8 months ago
1998
IEEE-ACM
Software architecture descriptions are high-level models of software systems. Some researchers have proposed specialpurpose architectural notations that have a great deal of expre...
143
Voted
PKC
1998
Springer
15 years 8 months ago
1998
Springer
The ElGamal encryption scheme has been proposed several years ago and is one of the few probabilistic encryption schemes. However, its security has never been concretely proven bas...
122
Voted
HYBRID
1994
Springer
15 years 7 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
185
Voted
KR
1994
Springer
15 years 7 months ago
1994
Springer
Despite the long history of classical planning, there has been very little comparative analysis of the performance tradeoffs offered by the multitude of existing planning algorith...