3573 search results - page 401 / 715 » Reasoning about Codata |
173
click to vote
E4MAS
2004
Springer
16 years 22 hour ago
2004
Springer
The environment is an important but overlooked piece in the construction of multiagent-based scenarios. Richness, believability and variety of scenarios are inseparable from the en...
162
click to vote
ESOP
2004
Springer
16 years 19 hour ago
2004
Springer
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...
215
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
The demand for ontologies is rapidly growing especially due to developments in knowledge management, E-commerce and the Semantic Web. Building an ontology and a background knowled...
155
click to vote
ICDCS
2003
IEEE
15 years 12 months ago
2003
IEEE
In a system proposed by Plaxton, Rajaraman and Richa (PRR), the expected cost of accessing a replicated object was proved to be asymptotically optimal for a static set of nodes an...
187
click to vote
WCRE
2003
IEEE
15 years 12 months ago
2003
IEEE
Merging and splitting source code artifacts is a common activity during the lifespan of a software system; as developers rethink the essential structure of a system or plan for a ...