1561 search results - page 12 / 313 » Mobile Process Support Systems - Experiences from a case stu... |
DSVIS
1998
Springer
14 years 1 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
WISE
2008
Springer
14 years 3 months ago
2008
Springer
Abstract. Mobile payment normally occurs as a wireless transaction of monetary value and includes the initiation, authorization and the realization of the payment. Such transaction...
SYNASC
2007
IEEE
14 years 3 months ago
2007
IEEE
In this technical report we present the proofs of properties appearing when solving the problem of prime decomposition of natural numbers using a scheme-based systematic exploratio...
FDL
2004
IEEE
14 years 16 days ago
2004
IEEE
In a companion paper [HVV04], we have investigated the deficiency of existing design approaches in supporting predictability for real-time control system development. A design app...
SERP
2003
13 years 10 months ago
2003
Many systems may benefit from scripting support, but the implementation of it is seldom trivial, especially if the system has not originally been developed with scripting support...