2364 search results - page 244 / 473 » An Engine for Computing Well-Founded Models |
167
click to vote
EDUTAINMENT
2007
Springer
16 years 21 days ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
148
click to vote
VMCAI
2007
Springer
16 years 19 days ago
2007
Springer
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
170
click to vote
CODES
2005
IEEE
16 years 4 days ago
2005
IEEE
With growing system complexities, system-level communication design is becoming increasingly important and advanced, network-oriented communication architectures become necessary....
179
click to vote
E4MAS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Even if the multi-agent paradigm has been evolving for fifteen years, the development of concrete methods for problem solving remains a major challenge. This paper focus...
155
click to vote
GCC
2005
Springer
16 years 1 days ago
2005
Springer
Web spider is a widely used approach to obtain information for search engines. As the size of the Web grows, it becomes a natural choice to parallelize the spider’s crawling proc...