203 search results - page 20 / 41 » A New Notation for Arrows |
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
With the rapid growth of the Internet and pervasive computing activities, the migration of back-end legacy systems to network centric environments has become a focal point for res...
FSTTCS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...
VL
1995
IEEE
13 years 11 months ago
1995
IEEE
A critical incident is reported where a discretionary user needed to partition the spreadsheet grid into an arithmetic series of blocks and apply a function to each, but was unabl...
IADIS
2003
13 years 9 months ago
2003
The problem of computer treatment of notations for writing sign languages has seen some approaches in recent years, all of them, based on hard to use bitmap standard graphical for...
IWFM
1998
13 years 9 months ago
1998
We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on ...