340 search results - page 43 / 68 » paste 2005 |
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
Argumentation has received steadily increasing attention in the multi-agent systems community over the past decade, with particular interest in the use of argument models from the ...
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
CAV
2005
Springer
14 years 3 months ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
DEXA
2005
Springer
14 years 3 months ago
2005
Springer
XML query processing is one of the most active areas of database research. Although the main focus of past research has been the processing of structural XML queries, there are gro...
EPIA
2005
Springer
14 years 3 months ago
2005
Springer
Space applications’ users have been relying for the past decades on custom developed software tools capable of addressing short term necessities during critical Spacecraft contro...