2607 search results - page 134 / 522 » On the Architecture of System Verification Environments |
310
click to vote
C5
2004
IEEE
15 years 10 months ago
2004
IEEE
We describe a design for a collaborative Virtual Learning Environment (VLE) to support massively multi-user and multi-institutional learning communities. This architecture extends...
140
click to vote
ECIS
2000
15 years 7 months ago
2000
Abstract-- Knowledge management is becoming a fashion in many organizations. This entails the danger that large investments in knowledge externalization are made with little short-...
156
click to vote
ISI
2008
Springer
15 years 6 months ago
2008
Springer
We propose a collaborative forensics framework to trace back callers of VoIP services in a multi-network environment. The paper is divided into two parts. The first part discusses ...
181
click to vote
ICSEA
2009
IEEE
15 years 4 months ago
2009
IEEE
-- Software is increasing in size and complexity. As a direct implication, organizations nd it more difficult to achieve the desired product quality. Process improvement models are...
180
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
The agentTool III (aT3 ) development environment is built on the Eclipse platform and provides traditional model creation tools to support the analysis, design, and implementation...