1733 search results - page 185 / 347 » On the naturalness of software |
193
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We study the synthesis problem for external linear or branching specifications and distributed, synchronous architectures with arbitrary delays on processes. External mea...
170
click to vote
CBSE
2005
Springer
16 years 2 days ago
2005
Springer
The grid has emerged as a novel paradigm that supports seamless cooperation of distributed, heterogeneous computing resources in addressing highly complex computing and data manage...
183
click to vote
SIGSOFT
2004
ACM
15 years 12 months ago
2004
ACM
Rapid advances in wireless networking technologies have enabled mobile devices to be connected anywhere and anytime. While roaming, applications on these devices dynamically disco...
178
click to vote
JDM
2006
15 years 6 months ago
2006
Approximately 57 different types of clinical annotations construct a patient's medical record. The annotations include radiology reports, discharge summaries, and surgical an...
183
click to vote
WCRE
2008
IEEE
16 years 27 days ago
2008
IEEE
Modern software has to evolve to meet the needs of stakeholders; but the nature and scope of this evolution is difficult to anticipate and manage. In this paper, we examine techn...