6355 search results - page 1016 / 1271 » From Logic to Games |
182
click to vote
PEPM
2004
ACM
16 years 23 hour ago
2004
ACM
Tracing computations is a widely used methodology for program debugging. Lazy languages, in particular, pose new demands on tracing techniques since following the actual trace of ...
172
click to vote
PROMAS
2004
Springer
16 years 22 hour ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, Omni, that allows the balance of global organizational requirements with the autonomy of individual agents....
187
click to vote
SEKE
2004
Springer
16 years 20 hour ago
2004
Springer
We present an approach for mapping an OWL ontology into Java. The basic idea is to create a set of Java interfaces and classes from an OWL ontology such that an instance of a Java ...
194
click to vote
SEKE
2004
Springer
16 years 20 hour ago
2004
Springer
One of the challenging research problems in validating a software engineering methodology (SEM), and a part of its validation process, is to answer “How to fairly collect, presen...
164
click to vote
FTDCS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper considers central issues of distributed computing in a mobile environment. Its aim is to light on the first brick of a common view for mobile systems. We pool together...