Sciweavers

1055 search results - page 89 / 211
» order 2002
Sort
View
ENTCS
2002
91views more  ENTCS 2002»
15 years 6 months ago
Petri nets with causal time for system verification
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
Cécile Bui Thanh, Hanna Klaudel, Franck Pom...
ETS
2002
IEEE
142views Hardware» more  ETS 2002»
15 years 6 months ago
A Framework for Technology Convergence in Learning and Working
Information technology is arguably an important tool for knowledge management, facilitating learning in a business context. However, the current use of information technology in t...
Miltiadis D. Lytras, Athanasia Pouloudi, Angeliki ...
ENTCS
2002
121views more  ENTCS 2002»
15 years 6 months ago
Regular Expression Types for Strings in a Text Processing Language
d Abstract) Naoshi Tabuchi Eijiro Sumii Akinori Yonezawa 1 Department of Computer Science, Graduate School of Information Science and Technology, University of Tokyo We present re...
Naoshi Tabuchi, Eijiro Sumii, Akinori Yonezawa
ETT
2002
140views Education» more  ETT 2002»
15 years 6 months ago
Spreading sequences for uplink and downlink MC-CDMA systems: PAPR and MAI minimization
This paper deals with spreading sequences selection for downlink and uplink Multi-Carrier Code Division Multiple Access (MC-CDMA) systems with the aim of minimizing the dynamic ran...
Stéphane Nobilet, Jean-François H&ea...
FGCS
2002
80views more  FGCS 2002»
15 years 6 months ago
GridLab--a grid application toolkit and testbed
In this paper we present the new project called GridLab which is funded by the European Commission under the Fifth Framework Programme. The GridLab project, made up of computer sc...
Edward Seidel, Gabrielle Allen, André Merzk...