4008 search results - page 507 / 802 » An expressive language of signatures |
173
click to vote
OTM
2005
Springer
16 years 5 days ago
2005
Springer
: Object-role Modeling (ORM) is a fact-oriented modeling approach for specifying, transforming, and querying information at a conceptual level. Unlike Entity-Relationship modeling ...
158
click to vote
PPDP
2005
Springer
16 years 5 days ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...
158
click to vote
ISSTA
2004
ACM
16 years 4 days ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
177
click to vote
CARDIS
2004
Springer
16 years 3 days ago
2004
Springer
Smart card applications often handle privacy-sensitive information, and therefore must obey certain security policies. Typically, such policies are described as high-level security...
180
click to vote
ECOOP
2004
Springer
16 years 2 days ago
2004
Springer
Ownership types promise to provide a practical mechanism for enforcing stronger encapsulation by controlling aliasing in objectoriented languages. However, previous ownership type ...