6800 search results - page 1100 / 1360 » Testing with Functions as Specifications |
171
click to vote
ICCCN
2007
IEEE
15 years 11 months ago
2007
IEEE
—Large-scale online applications such as Massively Multiplayer Online Games (MMOGs) require large amount of computing resources that support many players interacting simultaneous...
129
click to vote
ICDCSW
2007
IEEE
15 years 11 months ago
2007
IEEE
It is well known that both space and the spatial organization play an important role in our work and learning environments as well as in everyday life. There is a definite need fo...
147
click to vote
ICDM
2007
IEEE
15 years 11 months ago
2007
IEEE
Frequent itemsets mining is a popular framework for pattern discovery. In this framework, given a database of customer transactions, the task is to unearth all patterns in the for...
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— In order to enable robotic surgery without human assistance, a means must be developed to change tools. As part of the larger Trauma Pod Project, we developed the Tool Rack Sub...
144
click to vote
ISMVL
2007
IEEE
15 years 11 months ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...