1054 search results - page 167 / 211 » Translation Validation of System Abstractions |
161
click to vote
P2P
2005
IEEE
15 years 11 months ago
2005
IEEE
Among the open problems in P2P systems, support for non-trivial search predicates, standardized query languages, distributed query processing, query load balancing, and quality of...
158
click to vote
GPCE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In meta programming with concrete object syntax, object-level programs are composed from fragments written in concrete syntax. The use of small program fragments in such ...
132
click to vote
IEAAIE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
131
click to vote
OTM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Web services have become the predominant paradigm for the development of distributed software systems. Web services provide the means to modularize software in a way that...
159
click to vote
CEEMAS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The student modeling (SM) is a core component in the development of Intelligent Learning Environments (ILEs). In this paper we describe how a Multi-agent Intelligent Lear...