3573 search results - page 401 / 715 » Reasoning about Codata |
186
click to vote
E4MAS
2004
Springer
16 years 12 days 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...
176
Voted
ESOP
2004
Springer
16 years 12 days 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...
234
click to vote
KR
2004
Springer
16 years 11 days 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...
166
click to vote
ICDCS
2003
IEEE
16 years 9 days 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...
200
click to vote
WCRE
2003
IEEE
16 years 8 days 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 ...