2607 search results - page 165 / 522 » On the Architecture of System Verification Environments |
169
click to vote
SOFTWARE
2002
15 years 6 months ago
2002
This paper focuses on two main areas. We first investigate various aspects of subscription and session Service Level Agreement (SLA) issues such as negotiating and setting up netwo...
161
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents the system synthesis techniques available in S3 E2 S, a CAD environment for the specification, simulation, and synthesis of embedded electronic systems that ca...
171
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes a service-oriented approach for the integration of third-party external applications and resources into an existing open source eLearning environment. We detai...
158
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Large scale open, heterogeneous, distributed environments such as the Internet, are the environments in which (intelligent) agents need to be able to function and survive. These e...
178
click to vote
ISCC
2002
IEEE
15 years 11 months ago
2002
IEEE
We present an adaptive system for training and teaching. Our system integrates an adaptive training environment and a cooperative environment for exams both accessible via Interne...