1454 search results - page 48 / 291 » Stateful traits and their formalization |
81
Voted
JUCS
2007
15 years 12 days 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...
185
Voted
POPL
2005
ACM
16 years 25 days 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...
93
Voted
ICDCSW
2006
IEEE
15 years 6 months 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...
101
Voted
IJCAI
2007
15 years 1 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...
91
Voted
ICCAD
2001
IEEE
15 years 9 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...