6581 search results - page 1020 / 1317 » Formalizing Design Patterns |
180
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
d Abstract) Bruno Blanchet∗ § Patrick Cousot§ Radhia Cousot∗¶ J´erˆome Feret§ Laurent Mauborgne§ Antoine Min´e§ David Monniaux∗§ Xavier Rival§ that abstract inter...
194
click to vote
ASP
2003
Springer
15 years 12 months ago
2003
Springer
Integration of data is required when accessing multiple databases within an organization or on the WWW. Schema integration is required for database interoperability, but it is curr...
145
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents the specification of a programming language for implementing the deliberation cycle of cognitive agents. The mental attitudes of cognitive agents are assumed ...
144
click to vote
CCS
2003
ACM
15 years 12 months ago
2003
ACM
Attacks against Internet routing are increasing in number and severity. Contributing greatly to these attacks is the absence of origin authentication: there is no way to validate ...
185
click to vote
CHARME
2003
Springer
15 years 12 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...