90 search results - page 13 / 18 » On the Implementation of @pre |
ACSC
2005
IEEE
14 years 3 months ago
2005
IEEE
We introduce a new approach to computing interprocedural modification side effects for Java programs in the presence of dynamic class loading. When compile-time unknown classes c...
CAISE
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Overlay networks are an important kind of P2P infrastructures. The range of applications and requirements is broad. Consequently, our research objective are overlay netwo...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
In this paper, we present a context framework that facilitates the development and deployment of context-aware adaptable Web services. Web services are provided with context infor...
ESOP
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
CEC
2005
IEEE
14 years 3 months ago
2005
IEEE
The current work addresses the development of cognitive abilities in artificial organisms. In the proposed approach, neural network-based agent structures are employed to represen...