1317 search results - page 111 / 264 » context 2005 |
QEST
2005
IEEE
14 years 2 months ago
2005
IEEE
We consider bisimulation and weak bisimulation relations in the context of the Labeled Markov Chains of Hansson and Jonsson, the Concurrent Labeled Markov Chains of Philippou, Lee...
SCAM
2005
IEEE
14 years 2 months ago
2005
IEEE
A common theme in information security is protection of trusted software components against unauthorized access by untrusted users. In the context of distributed object technologi...
SKG
2005
IEEE
14 years 2 months ago
2005
IEEE
The information management requirements in systems based on Web Service Architecture principles include both the management of large amounts of relatively static services and assoc...
TRIDENTCOM
2005
IEEE
14 years 2 months ago
2005
IEEE
Mobile ad hoc networking allows the development of several infrastructure free applications. One of the arguments we focused on is the possibility of deploying a set of services i...
VL
2005
IEEE
14 years 2 months ago
2005
IEEE
Agile methodologies employ light-weight development practices emphasizing a test-driven approach to the development of software systems. Modern agile development environments supp...