10899 search results - page 246 / 2180 » The GP Programming System |
156
click to vote
ICMLC
2010
Springer
15 years 4 months ago
2010
Springer
: This paper focused on designing of a ubiquitous interface agent based on the ontology technology and interaction diagram with the backend information agent system, i.e., OntoIAS,...
129
click to vote
DARE
2000
15 years 6 months ago
2000
Although more and more computing is performed away from desktop computers, most programs used in handheld computers, ubiquitous computers, and augmented-reality systems in the rea...
159
click to vote
IJFCS
2008
15 years 5 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...