111 search results - page 20 / 23 » The Meta in Meta-object Architectures |
TPHOL
2000
IEEE
13 years 12 months ago
2000
IEEE
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...
QOSA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In enterprise application development and other software construction projects, a critical success factor is to make sound architectural decisions. Text templates and too...
SOSP
2005
ACM
14 years 4 months ago
2005
ACM
Rapid improvements in network bandwidth, cost, and ubiquity combined with the security hazards and high total cost of ownership of personal computers have created a growing market...
AINA
2009
IEEE
14 years 2 months ago
2009
IEEE
Networking infrastructure is a vital part of virtual computer clusters. This paper describes VirtCloud, a system for interconnecting virtual clusters in a state-wide network based...
WETICE
2002
IEEE
14 years 12 days ago
2002
IEEE
The MObile Teamwork Infrastructure for Organizations Networking (MOTION) 1 service platform that we have designed and implemented addresses an emerging requirement in the daily bu...