1348 search results - page 192 / 270 » A Temporal Programming Language for Heterogeneous Informatio... |
PLDI
2009
ACM
14 years 3 months ago
2009
ACM
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance prob...
ESOP
2010
Springer
14 years 2 days ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
ICALP
1998
Springer
14 years 29 days ago
1998
Springer
We show that characteristic formulae for nite-state systems up to bisimulationlike equivalences (e.g., strong and weak bisimilarity) can be given in the simple branching-time temp...
INTERNET
2002
13 years 8 months ago
2002
stract level, remote procedure calls enable programmers to invoke (possibly remote) services as if they were intra-application procedure calls. Much like function or procedure call...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
A search engine that can handle TV programs and Web content in an integrated way is proposed. Conventional search engines have been able to handle Web content and/or data stored i...