2607 search results - page 156 / 522 » On the Architecture of System Verification Environments |
180
click to vote
GPC
2008
Springer
15 years 7 months ago
2008
Springer
The hype surrounding Web 2.0 and technologies such as AJAX shows: The future of distributed application development lies in Rich Internet Applications (RIAs), which are based on h...
152
click to vote
MICRO
1999
IEEE
15 years 10 months ago
1999
IEEE
Building a high-performance microprocessor presents many reliability challenges. Designers must verify the correctness of large complex systems and construct implementations that ...
155
click to vote
NOMS
2008
IEEE
16 years 26 days ago
2008
IEEE
—In this paper we propose an integrated platform to power the symbiosis between networks and services whilst supporting mobility of users. This platform is based on methods for a...
170
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents au approach to extend OSGi server based home networks with JXTA’s peer-topeer (PZP) technoIogy to a mzdti-server home environment connecting multiple private...
158
click to vote
WETICE
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper is concerned with how collaborative virtual environments can be structured in order to enable greater scalability and yet maintain a richness of communication. Based on...