111 search results - page 20 / 23 » The Meta in Meta-object Architectures |
174
click to vote
TPHOL
2000
IEEE
15 years 10 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...
158
click to vote
QOSA
2007
Springer
15 years 11 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...
147
click to vote
SOSP
2005
ACM
16 years 2 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...
166
click to vote
AINA
2009
IEEE
16 years 15 days 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...
199
click to vote
WETICE
2002
IEEE
15 years 10 months 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...