Sciweavers

4445 search results - page 151 / 889
» Reflective Authorization Systems
Sort
View
DM
2008
91views more  DM 2008»
15 years 4 months ago
Further results on large sets of Kirkman triple systems
LR design is introduced by the second author in his recent paper, and it plays a very important role in the construction of LKTS (a large set of disjoint Kirkman triple system). I...
Lijun Ji, Jianguo Lei
JGS
2011
45views more  JGS 2011»
14 years 11 months ago
Time evolution of complex networks: commuting systems in insular Italy
The aim of this paper is to study the dynamics of commuting system of two insular regions of Italy, Sardinia and Sicily, inspected as complex networks. The authors refer to a thir...
Andrea De Montis, Simone Caschili, Alessandro Ches...
RTA
2004
Springer
15 years 10 months ago
A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems
Several authors devised type-based termination criteria for ML-like languages allowing non-structural recursive calls. We extend these works to general rewriting and dependent type...
Frédéric Blanqui
ECIS
2001
15 years 5 months ago
Operationalising Guidelines for Inter-Organisational Systems Planning: Exploring a Learning Model
This paper addresses the issue of operationalising guidelines for IOS planning. The authors explore the usefulness of Triple Loop Learning in light of the IOS development experien...
Pat Finnegan, Robert D. Galliers, Philip Powell
MM
2004
ACM
107views Multimedia» more  MM 2004»
15 years 10 months ago
Time, voice, and joyce
We present a design for recapitulating walks through Dublin's City Centre by characters in James Joyce's Ulysses. Our computationally supported walkers will avail themse...
Andrea Taylor, Brendan Donovan, Zoltan Foley-Fishe...