8874 search results - page 181 / 1775 » A New Implementation of Automath |
ICDCS
2003
IEEE
15 years 9 months ago
2003
IEEE
We introduce obstruction-freedom, a new nonblocking property for shared data structure implementations. This property is strong enough to avoid the problems associated with locks,...
193
click to vote
ICDE
2012
IEEE
13 years 6 months ago
2012
IEEE
—Motion sensing input devices like Microsoft’s Kinect offer an alternative to traditional computer input devices like keyboards and mouses. Daily new applications using this in...
168
click to vote
CONCUR
2009
Springer
15 years 2 months ago
2009
Springer
We introduce a new programming language called BlenX. It is strongly inspired to process calculi and it is an evolution of Betabinders. It has been specifically designed and implem...
178
click to vote
ICCCI
2009
Springer
15 years 2 months ago
2009
Springer
In this paper we introduce a new formalism to represent multi-agent systems where resources can be exchanged among different agents by maximizing the utility of the agents conformi...
147
click to vote
CASCON
2010
15 years 1 months ago
2010
We describe research conducted to improve the design and management of notifications in the Jazz collaborative development environment. Scenario-based design was used in conjuncti...