745 search results - page 106 / 149 » A General Framework for Cobot Control |
137
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
Researchers in Web engineering have regularly noted that existing Web application development environments provide little support for managing the evolution of Web applications. K...
257
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
The proliferation of database-driven web sites (or web-databases) has brought upon a plethora of applications where both Quality of Service (QoS) and Quality of Data (QoD) are of ...
153
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...
144
click to vote
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
We introduce a new approach, “Dynamic Common Sub-expression Elimination (CSE)”, that dynamically eliminates common sub- expressions based on new opportunities created during s...
147
click to vote
FMLDO
1999
Springer
15 years 8 months ago
1999
Springer
Federated transaction management (also known as multidatabase transaction management in the literature) is needed to ensure the consistency of data that is distributed across mult...