2607 search results - page 41 / 522 » On the Architecture of System Verification Environments |
ELPUB
2006
ACM
15 years 5 months ago
2006
ACM
Among the new possibilities that the Semantic Web has enabled, the authoring task is considered as a key moment for semantic representation of knowledge to enhance publishing need...
ICSE
1997
IEEE-ACM
15 years 4 months ago
1997
IEEE-ACM
Software architectures evolve as the result of numerous, interrelated design decisions. At any point in an architecture’s evolution, current decisions can critically affect alte...
108
click to vote
NETGAMES
2006
ACM
15 years 5 months ago
2006
ACM
This paper proposes a hybrid architecture for distributed virtual environments, utilizing servers alongside peer-to-peer components. Current research into peer-based systems seeks...
IADIS
2004
15 years 1 months ago
2004
There has been research on the areas of on-line and mobile service domains both in the business research discipline and the technology discipline. Some of the research has concent...
PDP
2003
IEEE
15 years 5 months ago
2003
IEEE
: In this paper the problem of educational resource management in a cooperative learning environment is discussed. A task model was elaborated to determine both functional and leve...