Sciweavers

6722 search results - page 210 / 1345
» The DSML4MAS development environment
Sort
View
129
Voted
ICSE
2007
IEEE-ACM
16 years 5 months ago
Mismar: A New Approach to Developer Documentation
Successful open source projects foster collaboration and innovation while benefiting from a faster pace of development, but are often plagued by poor developer's documentatio...
Barthélémy Dagenais, Harold Ossher
IFM
2009
Springer
158views Formal Methods» more  IFM 2009»
15 years 11 months ago
Developing Topology Discovery in Event-B
Abstract. We present a formal development in Event-B of a distributed topology discovery algorithm. Distributed topology discovery is at the core of several routing algorithms and ...
Thai Son Hoang, Hironobu Kuruma, David A. Basin, J...
GI
2007
Springer
15 years 11 months ago
Developing a Security Event Management System for Intermodal Transport
: Bremen, Federal State of Germany, is planning to set up a headquarter for GMES - Global Monitoring of Environment and Security. One goal of the Institute of Shipping Economics an...
Rainer Müller
MUM
2005
ACM
88views Multimedia» more  MUM 2005»
15 years 10 months ago
SIMPLE: developing a LBS positioning solution
Location information is becoming increasingly important in many pervasive computing applications. Reliance on accurate local knowledge of location is often critical to providing e...
Jonathan Wierenga, Peter Komisarczuk
ICFP
2006
ACM
16 years 5 months ago
The development of Chez Scheme
Chez Scheme is now over 20 years old, the first version having been released in 1985. This paper takes a brief look back on the history of Chez Scheme's development to explor...
R. Kent Dybvig