2364 search results - page 244 / 473 » An Engine for Computing Well-Founded Models |
164
click to vote
EDUTAINMENT
2007
Springer
16 years 12 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...
142
click to vote
VMCAI
2007
Springer
16 years 10 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 ...
167
click to vote
CODES
2005
IEEE
15 years 12 months ago
2005
IEEE
With growing system complexities, system-level communication design is becoming increasingly important and advanced, network-oriented communication architectures become necessary....
171
click to vote
E4MAS
2005
Springer
15 years 11 months 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...
146
click to vote
GCC
2005
Springer
15 years 11 months 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...