1217 search results - page 166 / 244 » Directions in Software Development and Maintenance |
PEPM
2009
ACM
15 years 6 months ago
2009
ACM
Computation performed in many typical aspects involve side effects. In a purely functional setting, adding such aspects using techniques such as monadification will generally lea...
TASE
2009
IEEE
15 years 4 months ago
2009
IEEE
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
ASWEC
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
IUI
2005
ACM
15 years 3 months ago
2005
ACM
At the Media Lab we are developing a resource called StoryNet, a very-large database of story scripts that can be used for commonsense reasoning by computers. This paper introduce...
IUI
2004
ACM
15 years 3 months ago
2004
ACM
Teams of autonomous vehicles (AVs) carry out missions in a number of fields such as space exploration and searchand-rescue. However, human supervision is still required to monito...