2943 search results - page 439 / 589 » Software Implementation of Synchronous Programs |
125
click to vote
WIAS
2010
15 years 20 days ago
2010
The rapid development of computer network technologies and social informationalization has brought many new opportunities and challenges in information security. With improved info...
189
click to vote
DLS
2009
15 years 3 days ago
2009
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
122
click to vote
HRI
2012
ACM
13 years 10 months ago
2012
ACM
The advent of ROS, the Robot Operating System, has finally made it possible to implement and use state-of-the-art navigation and manipulation algorithms on widely-available, inex...
238
click to vote
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validi...
106
click to vote
FASE
2010
Springer
15 years 9 months ago
2010
Springer
Multithreaded concurrent programs often exhibit bugs due to unintended interferences among the concurrent threads. Such bugs are often hard to reproduce because they typically hap...