Results for:
"
Ion+Luca+Caragiale
" in Documents
- Subsumption Architecture and Discrete Event Systems A Comparison 1995
- In this paper we review Subsumption Architecture and Discrete Event Systems. These approaches present diverse methodologies for dealing with control of interactions. They often take diametrically oppo...
-
Rating:
Views: (1011)
Pages: ()
Uploaded: 13-05-09
- Subsumption Architecture and Discrete Event Systems A Comparison 1995
- In this paper we review Subsumption Architecture and Discrete Event Systems. These approaches present diverse methodologies for dealing with control of interactions. They often take diametrically oppo...
-
Rating:
Views: (1005)
Pages: ()
Uploaded: 13-05-09
- Subsumption Architecture and Discrete Event Systems A Comparison 1995
- In this paper we review Subsumption Architecture and Discrete Event Systems. These approaches present diverse methodologies for dealing with control of interactions. They often take diametrically oppo...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 13-05-09
- Subsumption Architecture and Discrete Event Systems A Comparison 1995
- In this paper we review Subsumption Architecture and Discrete Event Systems. These approaches present diverse methodologies for dealing with control of interactions. They often take diametrically oppo...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09
- Program Fragments Linking and Modularization 1997
- Module mechanisms have received considerable theoretical attention, but the associated concepts of separate compilation and linking have not been emphasized. Anomalous module systems have emerged in f...
-
Rating:
Views: (1009)
Pages: ()
Uploaded: 13-05-09
- The AVISS Security Protocol Analysis Tool 2002 21 citations ? 10 self
- We introduce AVISS, a tool for security protocol analysis that supports the integration of back-ends implementing different search techniques, allowing for their systematic and quantitative comparison...
-
Rating:
Views: (1001)
Pages: ()
Uploaded: 15-05-09
- The AVISS Security Protocol Analysis Tool 2002 21 citations ? 10 self
- We introduce AVISS, a tool for security protocol analysis that supports the integration of back-ends implementing different search techniques, allowing for their systematic and quantitative comparison...
-
Rating:
Views: (1002)
Pages: ()
Uploaded: 13-05-09
- Subtyping Recursive Types 1993
- We investigate the interactions of subtyping and recursive types, in a simply typed l-calculus. The two fundamental questions here are whether two (recursive) types are in the subtype relation, and wh...
-
Rating:
Views: (1008)
Pages: ()
Uploaded: 13-05-09