Sciweavers

10707 search results - page 168 / 2142
» Designing executable abstractions
Sort
View
157
Voted
APWEB
2006
Springer
15 years 7 months ago
Energy-Efficient Deployment of Mobile Sensor Networks by PSO
Abstract. Sensor deployment is an important issue in designing sensor networks. In this paper, particle swarm optimization (PSO) approach is applied to maximize the coverage based ...
Xiaoling Wu, Shu Lei, Jin Wang, Jinsung Cho, Sungy...
150
Voted
APSCC
2006
IEEE
15 years 7 months ago
GridPPI: A Lightweight Grid-Enabled Parallel Programming Framework
Parallel application development for Grids can from tools that abstract the underlying Grid middleware, hide the critical aspects of heterogeneous resources and provide utilities ...
Sikan Chen, Minglu Li, Feng He
FM
2006
Springer
148views Formal Methods» more  FM 2006»
15 years 7 months ago
Automatic Translation from Circus to Java
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
Angela Freitas, Ana Cavalcanti
148
Voted
MATA
2000
Springer
15 years 7 months ago
Keyphrase-Based Information Sharing in the ACORN Multi-agent Architecture
Abstract. The ACORN provides an agent-based architecture for information retrieval and provision across networks. The main objective of this paper is to present the design and impl...
Hui Yu, Ali A. Ghorbani, Virendra C. Bhavsar, Step...
136
Voted
POPL
1997
ACM
15 years 7 months ago
Parameterized Types for Java
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
Andrew C. Myers, Joseph A. Bank, Barbara Liskov