900 search results - page 162 / 180 » Pure Type Systems Formalized |
SDB
1995
14 years 9 days ago
1995
In this paper we discuss two data models for spatial database systems: the linear data model and the topological data model. Both can be used to model a wide range of applications....
ASPDAC
2008
ACM
13 years 10 months ago
2008
ACM
In this paper we present a mathematical programming formulation of the integer time budgeting problem for directed acyclic graphs. In particular, we formally prove that our constr...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
Recent work by Procaccia, Rosenschein and Zohar [14] established some results regarding the complexity of manipulation and control in elections with multiple winners, such as elec...
ISPEC
2010
Springer
13 years 10 months ago
2010
Springer
Often authentication and confidentiality are required as simultaneous key requirements in many cryptographic applications. The cryptographic primitive called signcryption effective...
FASE
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. The notion of feature is heavily used in Software Engineering, especially for software product lines. However, this notion appears to be confusing, mixing various aspects...