289 search results - page 11 / 58 » Acyclic Type of Relationships Between Autonomous Systems |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
POPL
1997
ACM
14 years 1 months ago
1997
ACM
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...
ICALT
2008
IEEE
14 years 3 months ago
2008
IEEE
The aim of this study is to understand how learners with different personality respond to an e-learning content structure, by which it will help to build an instance of personalit...
MICRO
2008
IEEE
14 years 3 months ago
2008
IEEE
Rootkits have become a growing concern in cyber-security. Typically, they exploit kernel vulnerabilities to gain root privileges of a system and conceal malware’s activities fro...
WISE
2002
Springer
14 years 1 months ago
2002
Springer
We propose to use object-relational database management systems to store and manage semi-structured data. ORA-SS (Object-Relationship-Attribute model for Semi-Structured data) [9]...