2607 search results - page 450 / 522 » On the Architecture of System Verification Environments |
WORDS
2005
IEEE
15 years 3 months ago
2005
IEEE
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...
SAC
2005
ACM
15 years 3 months ago
2005
ACM
Although in recent years the concept of leasing has become more and more popular in the field of distributed object-oriented systems, it has not yet been incorporated in the curre...
SIGECOM
2005
ACM
15 years 3 months ago
2005
ACM
Business-to-business electronic contracts provide a specification of the agreed value exchange and guarantee legal protection to companies during electronic trading relations. Imp...
ICN
2005
Springer
15 years 3 months ago
2005
Springer
In the future, many more people will use web service in Ubiquitous environments. SMD-cluster, which is one of previous research, is a proposed scalable cluster system to meet the c...
ERLANG
2004
ACM
15 years 3 months ago
2004
ACM
Erlang is a concurrent functional language designed for developing large-scale, distributed, fault-tolerant systems. The primary implementation of the language is the Erlang/OTP s...