891 search results - page 32 / 179 » Full Abstraction for PCF |
123
Voted
HCI
2009
14 years 11 months ago
2009
Abstract. Expectations for the industry of Human Computer Interaction are much higher today than they were ten or even five years ago. Innovative solutions to sense and gather info...
102
click to vote
HCI
2009
14 years 11 months ago
2009
Abstract. IT service delivery is challenging to study. It is characterized by interacting systems of technology, people, and organizations. The work is sometimes reactive, sometime...
112
Voted
ICMLA
2009
14 years 11 months ago
2009
Abstract--This paper presents a novel and domainindependent approach for graph-based structure learning. The approach is based on solving the Maximum Common SubgraphIsomorphism pro...
148
Voted
ICST
2009
IEEE
14 years 11 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
132
Voted
IFM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...