12459 search results - page 112 / 2492 » cans 2006 |
IJSEKE
2002
13 years 9 months ago
2002
In current literature few detailed process models for Requirements Engineering are presented: usually high-level activities are distinguished, without a more precise specification...
INFORMATICALT
2002
13 years 9 months ago
2002
Recently, Park and Lim (1998) proposed two key distribution systems for secure VSAT satellite communications. One provides indirect authentication, and another scheme enables that ...
ISCI
2002
13 years 9 months ago
2002
Tangible Interfaces for Collaborative Learning Environments (TICLE) explores new ways that multimedia can enhance education without becoming the focus of the educational experienc...
IANDC
1998
13 years 9 months ago
1998
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...
IANDC
1998
13 years 9 months ago
1998
op diagram techniques for proving confluence in abstract reductions systems. The underlying theory gives a systematic and uniform framework in which a number of known results, wide...