2148 search results - page 171 / 430 » From process logic to program logic |
168
Voted
CADE
2011
Springer
13 years 10 months ago
2011
Springer
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
Pervasive context-aware software is an emerging kind of application. Smart personal digital assistants and RFID-based location sensing software are two examples. Many of these sys...
TREC
2004
14 years 11 months ago
2004
AnswerFinder combines lexical, syntactic, and semantic information in various stages of the question answering process. The candidate sentences are preselected on the basis of (i)...
EATCS
2000
14 years 10 months ago
2000
One of the previous articles in this column was devoted to the zero-one laws for a number of logics playing prominent role in finite model theory: first-order logic FO, the extens...
ICSE
2004
IEEE-ACM
15 years 10 months ago
2004
IEEE-ACM
We describe an efficient decentralized monitoring algorithm that monitors a distributed program's execution to check for violations of safety properties. The monitoring is ba...