4126 search results - page 650 / 826 » Relationships with other Formalisms |
170
click to vote
DBPL
2007
Springer
15 years 10 months ago
2007
Springer
Traditionally, infinite databases were studied as a data model for queries that may contain function symbols (since functions may be expressed as infinite relations). Recently, th...
174
click to vote
ECWEB
2007
Springer
15 years 10 months ago
2007
Springer
A significant number of mobile payment systems have been proposed in recent years, most of them based on a scenario where all the entities are directly connected one to another (fo...
158
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
153
click to vote
DEXAW
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract--Interdependencies between different security patterns can influence the properties of a particular pattern when applied in conjunction with other patterns. The resulting ...
143
click to vote
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
While there is an increasing need to share data that may contain personal information, such data sharing must preserve individual privacy without disclosing any identifiable infor...