99 search results - page 17 / 20 » Validating Constraints with Partial Information: Research Ov... |
JDI
2010
13 years 6 months ago
2010
y was conducted by Cong Yu and Zhihong Yao. The abstract of the study is as follows: To enhance the readability, improve the structure, and facilitate the sharing of digital imag...
CCS
2009
ACM
14 years 8 months ago
2009
ACM
Knowledge discovery on social network data can uncover latent social trends and produce valuable findings that benefit the welfare of the general public. A growing amount of resea...
FTDCS
2003
IEEE
14 years 25 days ago
2003
IEEE
Mobile clients retrieve and update databases at servers. They use transactions in order to ensure the consistency of shared data in the presence of concurrent accesses. Transactio...
ICSE
2010
IEEE-ACM
13 years 9 months ago
2010
IEEE-ACM
Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have propo...
ICSOC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. A key function of a Service Oriented Architecture is the separation between business logic and the platform of its implementation and deployment. Much of the focus in SOA...