4072 search results - page 442 / 815 » Becoming Increasingly Reactive |
178
click to vote
ISOLA
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...
176
Voted
MABS
2004
Springer
16 years 4 days ago
2004
Springer
The emerging ”Computational Grid” infrastructure poses many new opportunities for the developing science of large scale multiagent simulation. The ability to migrate agent expe...
218
click to vote
MKM
2004
Springer
16 years 4 days ago
2004
Springer
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...
155
click to vote
MMAS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. As the scale and scope of multi-agent systems grow, it becomes increasingly important to design and manage the manner in which the participants interact. The potential fo...
168
click to vote
MWCN
2004
Springer
16 years 4 days ago
2004
Springer
Inter-vehicle communication is becoming increasingly important in recent years. Traditional research efforts on vehicular networks have been put into safety or infotainment applica...