2232 search results - page 216 / 447 » Formal Modeling and Analysis of Organizations |
164
click to vote
IPSN
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents an approach for dynamic software reconfiguration in sensor networks. Our approach utilizes explicit models of the design space of the embedded application. The...
173
click to vote
SMI
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper presents a method to simulate growth phenomena, and its application to the modeling of complex organic shapes (e.g., plants organs) and folded surfaces. Our main contri...
177
click to vote
CAIP
2005
Springer
16 years 3 days ago
2005
Springer
In radiation treatment (RT) planning, clinicians must trace the outline of a few critical structures on a large number of images. Using automated image segmentation could save trem...
177
click to vote
PLDI
2006
ACM
16 years 16 days ago
2006
ACM
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...
158
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
In recent years, instant messaging (IM) has become a popular medium of online communication. While IM is expanding into the enterprise beyond personal use, it brings the convenien...