8009 search results - page 242 / 1602 » cans 2005 |
127
click to vote
CALCO
2005
Springer
16 years 3 days ago
2005
Springer
In the specific situation of formal reasoning concerned with “regular expression equivalence” we address instances of more general questions such as: how can coinductive argum...
172
click to vote
CALCO
2005
Springer
16 years 3 days ago
2005
Springer
We show that any institution I satisfying some reasonable conditions can be transformed into another institution, Ibeh, which captures formally and abstractly the intuitions of add...
193
click to vote
CC
2005
Springer
16 years 3 days ago
2005
Springer
Software testing to produce reliable and robust software has become vitally important in recent years. Testing is a process by which software quality can be assured through the co...
143
click to vote
CCS
2005
ACM
16 years 3 days ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
138
click to vote
CEAS
2005
Springer
16 years 3 days ago
2005
Springer
Processing server logs for the email arriving at an ISP can be used to detect remote sites where machines are infected by email viruses or have been hijacked and used for sending ...