269 search results - page 48 / 54 » Verification of Parameterized Systems Using Logic Program Tr... |
94
Voted
LDTA
2010
15 years 1 months ago
2010
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...
110
Voted
CCS
2008
ACM
15 years 3 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
131
Voted
KBSE
2000
IEEE
15 years 4 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
121
Voted
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
Implementing first-class continuations can pose a challenge if the target machine makes no provisions for accessing and re-installing the run-time stack. In this paper, we present...
86
Voted
ICSE
2005
IEEE-ACM
16 years 1 months ago
2005
IEEE-ACM
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facili...