7661 search results - page 1242 / 1533 » Languages and the Computing Profession |
207
click to vote
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We study the decidability and complexity of verification problems for timed automata over time intervals of fixed, bounded length. One of our main results is that time-bo...
206
click to vote
DEBS
2010
ACM
15 years 11 months ago
2010
ACM
Today’s organisations require techniques for automated transformation of the large data volumes they collect during their operations into operational knowledge. This requirement...
169
Voted
EXPCS
2007
15 years 11 months ago
2007
Utility programs, which perform similar and largely independent operations on a sequence of inputs, include such common applications as compilers, interpreters, and document parse...
196
Voted
VRML
2010
ACM
15 years 11 months ago
2010
ACM
We propose a number of X3D extensions to enable shadows in the virtual worlds. Our higher-level extensions are an easy way to request shadows independently of their implementation...
227
Voted
EDOC
2004
IEEE
15 years 11 months ago
2004
IEEE
Service-oriented architectures and Web service infrastructure provide the ideal framework for interconnecting organizations and for defining distributed business applications. The...