2441 search results - page 133 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
We define a tool-supported design framework that allows to specify an agent goal model and to automatically generate fragments of a BDI agent from it. We devise the design proces...
126
click to vote
SPIN
2010
Springer
14 years 9 months ago
2010
Springer
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...
109
click to vote
DSRT
2008
IEEE
15 years 29 days ago
2008
IEEE
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
107
click to vote
WOA
2007
15 years 10 days ago
2007
— This paper briefly describes the ELDATool, a Statecharts-based visual tool for the rapid prototyping of MultiAgent Systems based on the Event-driven Lightweight Distilled State...
111
click to vote
CGO
2009
IEEE
15 years 3 months ago
2009
IEEE
Effectively migrating sequential applications to take advantage of parallelism available on multicore platforms is a well-recognized challenge. This paper addresses important aspec...