3335 search results - page 538 / 667 » Grid result checking |
118
click to vote
GC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Behavioural equivalences on open systems are usually defined by comparing system behaviour in all environments. Due to this “universal” quantification over the poss...
136
click to vote
ISOLA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...
134
click to vote
MOZ
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Here we introduce DePathos, a graphical tool for a timetabling constraint engine (Pathos). Since the core of Pathos is textbased and provides little user-interaction, fi...
150
click to vote
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
130
click to vote
SDMW
2004
Springer
15 years 9 months ago
2004
Springer
In a database system, authorization-based access-control is generally the first line of defense, preventing unauthorized accesses to secret or sensitive data. However, this mechan...