3239 search results - page 247 / 648 » A Logical Process Calculus |
120
click to vote
LOGCOM
2010
15 years 3 months ago
2010
Abstract This paper investigates expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, ...
232
click to vote
ASC
2007
16 years 4 months ago
2007
Credit risk has always been an important issue for banks
and other financial intermediaries. A reliable and consistent
computing system is necessary to simplify the decision
mak...
147
click to vote
DOCENG
2007
ACM
15 years 9 months ago
2007
ACM
We present in this paper a method for document layout analysis based on identifying the function of document elements (what they do). This approach is orthogonal and complementary...
126
click to vote
ISQED
2009
IEEE
15 years 12 months ago
2009
IEEE
Modern CMOS manufacturing processes have significant variability, which necessitates guard banding to achieve reasonable yield. It is our thesis that variability should be addres...
138
click to vote
ENTCS
2006
15 years 5 months ago
2006
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...