Sciweavers

3618 search results - page 23 / 724
» Additive functions for number systems in function fields
Sort
View
SOSE
2006
IEEE
14 years 1 months ago
Formal incremental requirements specification of service-oriented automotive software systems
In this paper, we introduce a simple but formal service description language (ForSeL) for modelbased requirements engineering. The basic notion in ForSeL is a service representing...
Judith Hartmann, Sabine Rittmann, Doris Wild, Pete...
CORR
2011
Springer
178views Education» more  CORR 2011»
13 years 2 months ago
Robust Additively Coupled Games
We determine the robust Nash equilibrium (RNE) for a wide range of problems in communications systems and networks that are faced with uncertainty in their parameters’ values. T...
Saeedeh Parsaeefard, Ahmad R. Sharafat, Mihaela va...
INFORMATICALT
2002
103views more  INFORMATICALT 2002»
13 years 7 months ago
Numerical Representations as Purely Functional Data Structures: a New Approach
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...
Mirjana Ivanovic, Viktor Kuncak
GI
2008
Springer
13 years 8 months ago
Printed Near Field Communication System
: This paper presents a printed near field communication system that can be integrated into everyday objects, like paper products or plastic parts. The interface is realised by hi...
Karin Weigelt, Arved C. Hübler
IEICET
2008
113views more  IEICET 2008»
13 years 7 months ago
Classification of Hash Functions Suitable for Real-Life Systems
Cryptographic hash functions have been widely studied and are used in many current systems. Though much research has been done on the security of hash functions, system designers ...
Yasumasa Hirai, Takashi Kurokawa, Shin'ichiro Mats...