4666 search results - page 681 / 934 » Equations on Timed Languages |
166
click to vote
ICTAC
2007
Springer
16 years 26 days ago
2007
Springer
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LT...
162
click to vote
ICWE
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. In this paper we present an approach for oblivious composition of Web user interfaces, particularly for volatile functionality. Our approach, which is inspired on well-kn...
174
click to vote
IFIP
2007
Springer
16 years 26 days ago
2007
Springer
Although providing reliable network services is getting more and more important, currently used methods in IP networks are typically reactive and error correcting can take a long t...
199
Voted
EUROSYS
2010
ACM
16 years 25 days ago
2010
ACM
The mainstream adoption of cluster, grid, and most recently cloud computing models have broadened the applicability of parallel programming from scientific communities to
the bus...
173
click to vote
PPAM
2007
Springer
16 years 25 days ago
2007
Springer
Nowadays, capturing the knowledge in ontological structures is one of the primary focuses of the semantic web research. To exploit the knowledge from the vast quantity of existing ...