2850 search results - page 284 / 570 » On Timed Models and Full Abstraction |
205
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Social Network Marketing techniques employ pre-existing social networks to increase brands or products awareness through word-of-mouth promotion. Full understanding of social netw...
237
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
204
click to vote
SIGCSE
2009
ACM
16 years 7 months ago
2009
ACM
commonly stated definition of abstract data type (ADT) is that it is a domain of values and the operations over that domain. So, for example, a language's built-in types, lik...
199
click to vote
ICLP
1995
Springer
15 years 10 months ago
1995
Springer
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
208
click to vote
MOBIHOC
2004
ACM
16 years 6 months ago
2004
ACM
Clock synchronization is a crucial basic service in typical sensor networks, since the observations of distributed sensors more often than not need to be ordered ("a happened...