1454 search results - page 48 / 291 » Stateful traits and their formalization |
142
click to vote
JUCS
2007
15 years 6 months ago
2007
: This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems wit...
262
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
Haskell's type classes allow ad-hoc overloading, or typeindexing, of functions. A natural generalisation is to allow type-indexing of data types as well. It turns out that th...
148
click to vote
ICDCSW
2006
IEEE
16 years 4 days ago
2006
IEEE
The rapid progress of information technology has spurred development of various communication support systems. In particular, the importance of informal communication has lately d...
164
click to vote
IJCAI
2007
15 years 7 months ago
2007
Computational cognitive modeling has recently emerged as one of the hottest issues in the AI area. Both symbolic approaches and connectionist approaches present their merits and d...
147
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
SPFDs are a mechanism to express flexibility in Boolean networks. Introduced by Yamashita et al. in the context of FPGA synthesis [4], they were extended later to general combina...