2940 search results - page 70 / 588 » Relational Parametricity and Control |
111
click to vote
ICSM
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper, we introduce Static Execute After (SEA) relationship among program components and present an efficient analysis algorithm. Our case studies show that SEA may appro...
111
click to vote
POPL
2000
ACM
15 years 3 months ago
2000
ACM
Systems that authenticate a user based on a shared secret (such as a password or PIN) normally allow anyone to query whether the secret is a given value. For example, an ATM machi...
SAFECOMP
2000
Springer
15 years 3 months ago
2000
Springer
Many safety-related systems are built from generic software which is customised to work in a particular situation by static configuration data. Examples of such systems are railwa...
100
click to vote
LREC
2008
15 years 1 months ago
2008
Although ontologies and linguistic resources play a key role in applied AI and NLP, they have not been developed in a common and systematic way. The lack of a systematic methodolo...
CGVR
2006
15 years 1 months ago
2006
Supporting awareness of other cooperators is an idea that holds promise for improving the usability of real-time distributed collaborative graphics design systems. However, networ...