1965 search results - page 355 / 393 » On the analysis of interacting pushdown systems |
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
Virtual worlds may be enabling technologies for the next generation of business models, practices and innovations in service. We situate our research within the field of service s...
EDOC
2007
IEEE
14 years 3 months ago
2007
IEEE
In aspect-oriented modeling (AOM), a design is described using a set of design views. It is sometimes necessary to compose the views to obtain an integrated view that can be analy...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper presents a framework based on a user driven methodology to obtain analytical models of MPI applications on parallel systems in a systematic and easy to use way. This me...
P2P
2007
IEEE
14 years 3 months ago
2007
IEEE
An important security issue in DHT-based structured overlay networks is to provide anonymity to the storage nodes. Compromised routing tables in those DHTs leak information about ...
ICOST
2007
Springer
14 years 2 months ago
2007
Springer
We consider the problem of assisting vulnerable people and their carers to reduce the occurrence, and concomitant consequences, of accidents in the home. A wireless sensor network ...