618 search results - page 62 / 124 » Meaning and Partiality Revised |
TLCA
2009
Springer
14 years 4 months ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
IWPSE
2007
IEEE
14 years 4 months ago
2007
IEEE
Predicting the defects in the next release of a large software system is a very valuable asset for the project manger to plan her resources. In this paper we argue that temporal f...
JIT
2004
Springer
14 years 3 months ago
2004
Springer
Thing-oriented programming (TP) is an emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-orient...
KESAMSTA
2009
Springer
14 years 2 months ago
2009
Springer
ent Artificial Immune Systems (MAAIS) for Intrusion Detection: Abstraction from Danger Theory Chung-Ming Ou, C.R. Ou Ants-like Agents: a Model and Analysis Based on Natural Ants Be...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
Users have begun downloading an increasingly large number of mobile phone applications in response to advancements in handsets and wireless networks. The increased number of appli...