3229 search results - page 496 / 646 » The Theory of Timed Automata |
131
click to vote
KBSE
2005
IEEE
16 years 4 days ago
2005
IEEE
We propose an approach for complex software analysis based on visualization. Our work is motivated by the fact that in spite of years of research and practice, software developmen...
157
click to vote
SPAA
2005
ACM
16 years 3 days ago
2005
ACM
This paper shows for the first time that elimination, a scaling technique formerly applied only to counters and LIFO structures, can be applied to FIFO data structures, specific...
161
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for de...
176
click to vote
BIRTHDAY
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for finitely branching, concrete, sequential processes. He studied these...
164
click to vote
DALT
2005
Springer
16 years 3 days ago
2005
Springer
Agents need to be able to change their beliefs; in particular, they should be able to contract or remove a certain belief in order to restore consistency to their set of beliefs, a...