10707 search results - page 168 / 2142 » Designing executable abstractions |
157
Voted
APWEB
2006
Springer
15 years 7 months ago
2006
Springer
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 ...
150
Voted
APSCC
2006
IEEE
15 years 7 months ago
2006
IEEE
Parallel application development for Grids can from tools that abstract the underlying Grid middleware, hide the critical aspects of heterogeneous resources and provide utilities ...
134
click to vote
FM
2006
Springer
15 years 7 months ago
2006
Springer
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...
148
Voted
MATA
2000
Springer
15 years 7 months ago
2000
Springer
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...
136
Voted
POPL
1997
ACM
15 years 7 months ago
1997
ACM
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...