9532 search results - page 1687 / 1907 » Logic, Graphs, and Algorithms |
182
click to vote
ASYNC
2005
IEEE
16 years 5 days ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
188
click to vote
IEEESCC
2005
IEEE
16 years 4 days ago
2005
IEEE
Web service discovery is a key problem as the number of services is expected to increase dramatically. Service discovery at the present time is based primarily on keywords, or int...
187
click to vote
KBSE
2005
IEEE
16 years 3 days ago
2005
IEEE
Traits are basically mixins or interfaces but with method bodies. In languages that support traits, classes are composed out of traits. There are two main advantages with traits. ...
190
click to vote
SLIP
2005
ACM
16 years 3 days ago
2005
ACM
The interconnection architecture of FPGAs such as switches dominates performance of FPGAs. Three-dimensional integration of FPGAs overcomes interconnect limitations by allowing in...
187
click to vote
APWEB
2005
Springer
16 years 2 days ago
2005
Springer
With the explosive emerged Web services, the Web becomes a world of information and applications. So portals whose goal is presenting a structured view onto the Web should provide ...