5622 search results - page 450 / 1125 » Solving architectural modelling problems using knowledge |
208
click to vote
ENTCS
2010
15 years 5 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
216
click to vote
GCC
2003
Springer
16 years 25 days ago
2003
Springer
: In the Grid environment, user can manage and make use of web services, such as uploading or downloading web services. But when user want to download one web services to run it in...
199
click to vote
TCSV
2002
15 years 7 months ago
2002
This paper presents an efficient VLSI architecture design of MPEG-4 shape coding, which is the key technology for supporting the content-based functionality of the MPEG-4 Video sta...
295
click to vote
MOBIHOC
2007
ACM
16 years 7 months ago
2007
ACM
Existing work on the capacity of wireless networks predominantly considers homogeneous random networks with random work load. The most relevant bounds on the network capacity, e.g...
207
click to vote
ICCAD
1999
IEEE
15 years 12 months ago
1999
IEEE
We present optimal solutions to the test scheduling problem for core-based systems. We show that test scheduling is equivalent to the m-processor open-shop scheduling problem and ...