1218 search results - page 213 / 244 » Model-Driven Development of Mobile Applications |
ICFEM
2003
Springer
14 years 2 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
We present a performance analysis of an agent-based middleware system we have developed based on "reAgents," remotely executing agents that enhance the performance of cl...
DAIS
2009
13 years 10 months ago
2009
Ubiquitous computing architectures enable interaction and collaboration in multi-user applications. We explore the challenges of integrating the disparate services required in such...
AINA
2011
IEEE
13 years 24 days ago
2011
IEEE
—The advent of distributed and ad-hoc-connected systems such as in Ambient Intelligence applications confronts developers with the question on how to specify QoS- and security po...
PERVASIVE
2011
Springer
13 years 15 hour ago
2011
Springer
As location-sensing smart phones and location-based services gain mainstream popularity, there is increased interest in developing techniques that can detect anomalous activities. ...