8810 search results - page 447 / 1762 » Openness |
208
click to vote
COMGEO
2010
ACM
15 years 11 months ago
2010
ACM
Many producers of geographic information are now disseminating their data using open web service protocols, notably those published by the Open Geospatial Consortium. There are ma...
171
click to vote
FOSSACS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Among the branching-time temporal logics used for the specification and verification of systems, CTL+ , FCTL and ECTL+ are the most notable logics for which the precise...
152
click to vote
ISRR
2001
Springer
15 years 11 months ago
2001
Springer
In this paper the use of robots as intelligent appliances is discussed. A number of advertised systems are reviewed and their basic characteristics analyzed. Open issues in terms o...
153
click to vote
PFE
2001
Springer
15 years 11 months ago
2001
Springer
This report gives an overview of the session on product issues of the 4th International Workshop on Product Family Engineering. It briefly sketches the issues presented in the tech...
191
click to vote
TACS
2001
Springer
15 years 11 months ago
2001
Springer
Lossy channel systems are systems of finite state automata that communicate via unreliable unbounded fifo channels. Today the main open question in the theory of lossy channel sy...