2364 search results - page 135 / 473 » An Engine for Computing Well-Founded Models |
146
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—With the growth in the past few years of social tagging services like Delicious and CiteULike, there is growing interest in modeling and mining these social systems for deriving...
169
click to vote
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
121
click to vote
EICS
2010
ACM
15 years 8 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
110
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
In this paper, we systematically define three transaction level TLMs), which reside at different levels of abstraction between the functional and the implementation model of a DSP...
118
click to vote
OZCHI
2009
ACM
15 years 11 months ago
2009
ACM
We aim to make sense of a perplexing human experience (fun) as it occurs in a recently discovered place for sociotechnical study (the home). Our toolkit includes technology probes...