2607 search results - page 357 / 522 » On the Architecture of System Verification Environments |
192
click to vote
CN
1999
15 years 6 months ago
1999
We present the design, implementation and evaluation of an open programmable mobile network based on distributed object technology called mobiware that dynamically exploits the in...
171
click to vote
KES
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Conventional tabletop systems have focused on communication with virtual data, using phicons or physical objects as handles. This approach is versatile, given the full us...
191
click to vote
CIMCA
2005
IEEE
16 years 5 days ago
2005
IEEE
Owing to the increase in both heterogeneity and complexity in today’s networking systems, the need arises for an architecture for network-based services that provides flexibilit...
146
click to vote
C5
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes our approach of utilizing a computational environment to apply a learner’s learning process as a first class object. With this approach, the learner’s le...
168
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
Building software systems with reusable components brings many advantages. The development becomes more efficient, the reliability of the products is enhanced, and the maintenance...