Sciweavers

1703 search results - page 317 / 341
» Model interoperability via Model Driven Development
Sort
View
IPPS
2005
IEEE
14 years 3 months ago
Exploring the Energy-Time Tradeoff in MPI Programs on a Power-Scalable Cluster
Recently, energy has become an important issue in highperformance computing. For example, supercomputers that have energy in mind, such as BlueGene/L, have been built; the idea is...
Vincent W. Freeh, Feng Pan, Nandini Kappiah, David...
ATAL
2005
Springer
14 years 3 months ago
An integrated token-based algorithm for scalable coordination
Efficient coordination among large numbers of heterogeneous agents promises to revolutionize the way in which some complex tasks, such as responding to urban disasters can be perf...
Yang Xu, Paul Scerri, Bin Yu, Steven Okamoto, Mich...
UML
2005
Springer
14 years 3 months ago
A Formal Enforcement Framework for Role-Based Access Control Using Aspect-Oriented Programming
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...
Jaime A. Pavlich-Mariscal, Laurent Michel, Steven ...
ATAL
2004
Springer
14 years 3 months ago
Accurate and Flexible Simulation for Dynamic, Vision-Centric Robot
As robots become more complex by incorporating dynamic stability or greater mechanical degrees of freedom, the difficulty of developing control algorithms directly on the robot in...
Jared Go, Brett Browning, Manuela M. Veloso
VLDB
2004
ACM
173views Database» more  VLDB 2004»
14 years 3 months ago
Enhancing P2P File-Sharing with an Internet-Scale Query Processor
In this paper, we address the problem of designing a scalable, accurate query processor for peerto-peer filesharing and similar distributed keyword search systems. Using a global...
Boon Thau Loo, Joseph M. Hellerstein, Ryan Huebsch...