Sciweavers

2043 search results - page 102 / 409
» A convenient category of domains
Sort
View
POPL
2008
ACM
16 years 6 months ago
Relational inductive shape analysis
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...
Bor-Yuh Evan Chang, Xavier Rival
SIGMOD
2007
ACM
157views Database» more  SIGMOD 2007»
16 years 6 months ago
DaNaLIX: a domain-adaptive natural language interface for querying XML
We present DaNaLIX, a prototype domain-adaptive natural language interface for querying XML. Our system is an extension of NaLIX, a generic natural language interface for querying...
Yunyao Li, Ishan Chaudhuri, Huahai Yang, Satinder ...
OOPSLA
2007
Springer
16 years 15 days ago
IAnticorruption: a domain-driven design approach to more robust integration
Custom House's new currency exchange system is integrated with a legacy system. After a few years of growth, the two systems were so intricately tangled that even small chang...
Sam Peng, Ying Hu
DAC
2006
ACM
16 years 10 days ago
Hierarchical power distribution and power management scheme for a single chip mobile processor
A hierarchical power distribution methodology that enables more than dozen power domains in a chip and a power management scheme using 20 power domains are described. This method ...
Toshihiro Hattori, Takahiro Irita, Masayuki Ito, E...
MSWIM
2006
ACM
16 years 10 days ago
Ticket-based mobile commerce system and its implementation
Security is a critical issue in mobile commerce, especially in mobile database systems since mobile environments are dynamic and traditional protection mechanisms do not work very...
Hua Wang, Xiaodi Huang, Goutham Reddy Dodda