4498 search results - page 351 / 900 » How to Invent Functions |
172
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
238
click to vote
CSL
2007
Springer
16 years 29 days ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ï...
275
click to vote
ECOOP
2005
Springer
16 years 10 days ago
2005
Springer
Software modeling has received a lot a of attention in the last decade and now is an important support for the design process. Actually, the design process is very important to the...
193
click to vote
ICDM
2002
IEEE
15 years 11 months ago
2002
IEEE
The Web has established itself as the dominant medium for doing electronic commerce. Consequently the number of service providers, both large and small, advertising their services...
191
click to vote
OPODIS
2004
15 years 8 months ago
2004
Firewalls are crucial elements in network security, and have been widely deployed in most businesses and institutions for securing private networks. The function of a firewall is t...