3827 search results - page 456 / 766 » The Epsilon Generation Language |
163
click to vote
CASSIS
2004
Springer
16 years 6 days ago
2004
Springer
We present the Mobile Resource Guarantees framework: a system for ensuring that downloaded programs are free from run-time violations of resource bounds. Certificates are attached...
195
click to vote
IFIP
2004
Springer
16 years 5 days ago
2004
Springer
Geometrical place can be sometimes difficult to find by applying mathematical methods. Evolutionary algorithms deal with a population of solutions. This population (initially ran...
155
click to vote
MICAI
2004
Springer
16 years 5 days ago
2004
Springer
The paper presents a method of automatic enrichment of a very large dictionary of word combinations. The method is based on results of automatic syntactic analysis (parsing) of sen...
183
click to vote
AGTIVE
2003
Springer
16 years 1 days ago
2003
Springer
OptimixJ is a graph rewrite tool that generates Java code from rewrite specifications. Java classes are treated as graph schemas, enabling OptimixJ to extend legacy Java applicati...
137
click to vote
CP
2003
Springer
16 years 1 days ago
2003
Springer
How do we identify inconsistent CSPs quickly? This paper presents relaxation as one possible method; showing how we can generate relaxed CSPs which are easier to prove inconsistent...