3724 search results - page 598 / 745 » Timed regular expressions |
108
click to vote
SAC
2009
ACM
15 years 5 months ago
2009
ACM
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
TEI
2009
ACM
15 years 5 months ago
2009
ACM
Musical harmony is considered to be one of the most and technically difficult parts of music. It is y taught formally via abstract, domain-specific concepts, principles, rules and...
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—Web 2.0 applications, including blogs, wikis and social networking sites, pose challenging privacy issues. Many users are unaware that search engines index personal information ...
GLVLSI
2009
IEEE
15 years 4 months ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
117
click to vote
SIBGRAPI
2009
IEEE
15 years 4 months ago
2009
IEEE
We have designed and implemented a multi-linear discriminant method of constructing and quantifying statistically significant changes on human identity photographs. The method is...