137 search results - page 17 / 28 » An Approach to Reasoning About Continuous Change for Applica... |
SEC
1996
13 years 10 months ago
1996
This paper introduces and describes an innovative modelling approach which utilises models that are synthesised through approximate calculations of user actions and extensive repr...
COMPSAC
2004
IEEE
14 years 9 days ago
2004
IEEE
ion Abstracts Zizhan Zheng, Qianxiang Wang, Gang Huang and Hong Mei. Design and Implementation of the Load Balancing Mechanism in PKUAS (in Chinese). ACTA ELECTRONICA SINICA, 32(12...
MATA
2004
Springer
14 years 1 months ago
2004
Springer
Applications for mobile devices have some restrictions because of the limited capabilities and heterogeneity of these devices. However, their communication capabilities allow the d...
BIRTHDAY
2009
Springer
14 years 17 days ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
AOSE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. One of the main challenges for the successful application of agentbased systems in mobile and embedded devices is enabling application developers to reconcile the needs o...