2116 search results - page 242 / 424 » Resource Analysis by Sup-interpretation |
165
click to vote
TACAS
1998
Springer
15 years 8 months ago
1998
Springer
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...
188
click to vote
COOPIS
1996
IEEE
15 years 8 months ago
1996
IEEE
Rational drug design is an example where integrated access to heterogeneous scientific data is urgently needed, as it becomes rapidly available due to new experimental and computa...
138
click to vote
VLDB
1997
ACM
15 years 8 months ago
1997
ACM
Huge masses of digital data about products, customers and competitors have become available for companies in the services sector. In order to exploit its inherent (and often hidde...
142
click to vote
BROADNETS
2007
IEEE
15 years 8 months ago
2007
IEEE
Emerging high-end applications require a rich set of network provisioning services that go beyond the traditional source-destination, end-to-end path service. They also require hig...
152
click to vote
RTA
2010
Springer
15 years 8 months ago
2010
Springer
In earlier work, we have shown that for confluent term rewrite systems (TRSs for short), innermost polynomial runtime complexity induces polytime computability of the functions de...