3028 search results - page 430 / 606 » Integrating Temporal Logics |
132
Voted
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
139
Voted
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
132
Voted
WWW
2005
ACM
16 years 5 months ago
2005
ACM
Semantic Portal is the next generation of web portals that are powered by Semantic Web technologies for improved information sharing and exchange for a community of users. Current...
190
click to vote
HPCA
2006
IEEE
16 years 5 months ago
2006
IEEE
An integrated, hardware / software co-designed CISC processor is proposed and analyzed. The objectives are high performance and reduced complexity. Although the x86 ISA is targete...
236
click to vote
VLDB
2001
ACM
16 years 4 months ago
2001
ACM
The problem of answering queries using views is to find efficient methods of answering a query using a set of previously materialized views over the database, rather than accessin...