2859 search results - page 411 / 572 » A Programming Environment for Bousi-Prolog |
162
click to vote
SOFTVIS
2010
ACM
15 years 6 months ago
2010
ACM
Software visualization can be of great use for understanding and exploring a software system in an intuitive manner. Spatial representation of software is a promising approach of ...
168
click to vote
CLUSTER
2008
IEEE
15 years 6 months ago
2008
IEEE
The performance skeleton of an application is a short running program whose performance in any scenario reflects the performance of the application it represents. Specifically, th...
166
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Current middleware systems suffer from drawbacks. Often one is forced to make decisions early in the design process about which classes may participate in inter-machine communicat...
183
click to vote
ENTCS
2008
15 years 6 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
175
click to vote
ESWA
2006
15 years 6 months ago
2006
In the past, the selection of resources to execute various warehouse operation services was done solely by experts. In this paper, a RFIDbased Resource Management System (RFID-RMS...