Sciweavers

3618 search results - page 413 / 724
» Additive functions for number systems in function fields
Sort
View
QEST
2006
IEEE
16 years 21 days ago
UPPAAL 4.0
— UPPAAL 4.0 is the result of over two and a half years of development and contains many new features, additions to the modeling language, performance improvements, enhancements ...
Gerd Behrmann, Alexandre David, Kim Guldstrand Lar...
SCESM
2006
ACM
239views Algorithms» more  SCESM 2006»
16 years 19 days ago
Aspect-oriented software design with a variant of UML/STD
The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing syst...
Shin Nakajima, Tetsuo Tamai
ICAC
2005
IEEE
16 years 8 days ago
Scalable Management
Modern computing environments, such as enterprise data centers, Grids, and PlanetLab, introduce distributed services to address scalability, locality, and reliability. Web Service...
Robert Adams, Paul Brett, Subu Iyer, Dejan S. Milo...
MKM
2004
Springer
16 years 1 days ago
An Architecture for Distributed Mathematical Web Services
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
Elena S. Smirnova, Clare M. So, Stephen M. Watt
DEXAW
2003
IEEE
128views Database» more  DEXAW 2003»
15 years 12 months ago
Current Mobile Payment Procedures on the German Market from the View of Customer Requirements
The key to mobile payment acceptance is in the hands of customers. In this paper we use the results of the mobile payment survey MP1 in order to identify and roughly weigh the mos...
Key Pousttchi, Mario Zenker