2441 search results - page 323 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
114
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
:The eXtensible Markup Language – XML – is not only a language for communication between humans and the web, it is also a language for communication between programs. Rather th...
155
click to vote
EUROMICRO
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
122
click to vote
COMPSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
173
click to vote
SEKE
2010
Springer
15 years 2 months ago
2010
Springer
The technological progress designing new devices and the scientific growth in the field of Human-Computer Interaction are enabling new interaction modalities to move from resear...
158
click to vote
HPCA
2011
IEEE
14 years 8 months ago
2011
IEEE
As the web becomes the platform of choice for execution of more complex applications, a growing portion of computation is handed off by developers to the client side to reduce net...