733 search results - page 23 / 147 » The role of programming in IT |
POPL
1991
ACM
13 years 11 months ago
1991
ACM
-order multiparty interaction is an abstraction mechanism that defines communication among a set of formal process roles. Actual processes participate in a first-order interactio...
BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the de...
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal cal...
ASWEC
2004
IEEE
13 years 11 months ago
2004
IEEE
"Totally Functional Programming" (TFP) advocates the complete replacement of symbolic representations for data by functions. TFP is motivated by observations from practi...
IWINAC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. An Intrusion Detection System (IDS) is a program that analyzes what happens or has happened during an execution and tries to find indications that the computer has been ...