3679 search results - page 673 / 736 » Hybrid Semantic Analysis |
FASE
1998
Springer
15 years 4 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...
104
Voted
ICSE
1998
IEEE-ACM
15 years 4 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...
121
click to vote
PKC
1998
Springer
15 years 4 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...
149
click to vote
KR
1994
Springer
15 years 4 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...
126
Voted
LOPSTR
1992
Springer
15 years 4 months ago
1992
Springer
We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial eval...