6040 search results - page 1146 / 1208 » Generating Instance Models from Meta Models |
251
Voted
ISPA
2004
Springer
16 years 15 days ago
2004
Springer
Static DHT topologies influence important features of such DHTs such as scalability, communication load balancing, routing efficiency and fault tolerance. Nevertheless, it is co...
209
click to vote
HICSS
2003
IEEE
16 years 13 days ago
2003
IEEE
Telemedicine is advocated for its potential to improve the accessibility and quality of health care delivery while lowering costs [1]. Although the potential benefits of telemedic...
196
click to vote
PG
2003
IEEE
16 years 12 days ago
2003
IEEE
In this paper we revisit the cells-and-portals visibility methods, originally developed for the special case of architectural interiors. We define an effectiveness measure for a ...
196
click to vote
PLDI
2003
ACM
16 years 11 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
243
Voted
CP
2003
Springer
16 years 11 days ago
2003
Springer
Multiple sequence alignment is a central problem in Bioinformatics. A known integer programming approach is to apply branch-and-cut to exponentially large graph-theoretic models. T...