11214 search results - page 1805 / 2243 » Programming Multi-agent Systems |
204
Voted
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
ASEME is an emerging Agent Oriented Software Engineering (AOSE) methodology. The Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the transition of...
191
click to vote
IGARSS
2010
15 years 4 months ago
2010
This paper describes some of the novel technologies adopted in the realization of the NASA Dual-frequency Dualpolarized Doppler Radar (D3R) system for to be used by the GPM ground...
303
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
199
click to vote
MSV
2010
15 years 4 months ago
2010
Recent simulations of diffusion limited cluster-cluster aggregation (DLCA) have shown systematic inhomogeneities in the shape and orientation of clusters formed when a sedimentary...
198
click to vote
SIGDIAL
2010
15 years 4 months ago
2010
This paper proposes a simple framework for building 'virtual networking agents'; programs that can communicate with users and collect information through the internet. T...