203 search results - page 3 / 41 » A New Notation for Arrows |
ICALT
2005
IEEE
14 years 1 months ago
2005
IEEE
Up to date, there is no standardized notation scheme for modeling SCORM-conformant contents. It is a time-consuming process to build up a new and widely-acceptable notation scheme...
JFP
2008
13 years 7 months ago
2008
In this paper, we introduce Applicative functors--an abstract characterisation of an applicative style of effectful programming, weaker than Monads and hence more widespread. it i...
FUIN
2002
13 years 7 months ago
2002
This paper presents a new model of computation that differs from prior models in that it emphasizes data over flow control, has no named variables and has an object-oriented flavo...
CSFW
1999
IEEE
13 years 12 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
VTS
2000
IEEE
14 years 18 hour ago
2000
IEEE
Abstract: This paper presents a notation for describing functional fault models, which may occur in memory devices. Using this notation, the space of all possible memory faults has...