5064 search results - page 5 / 1013 » Recent Developments in Gridsolve |
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
—A widespread methodology for performance analysis in the field of communication systems engineering is network simulation. While ns-2 has established itself as virtually the st...
SOFSEM
2012
Springer
13 years 5 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
HICSS
2006
IEEE
15 years 3 months ago
2006
IEEE
Swedish public administration is currently undergoing radical change towards dynamic models of governance relying on a high level of intergovernmental collaboration. This high lev...
65
Voted
LREC
2010
14 years 11 months ago
2010
The aim of the paper is to present recent -- as of March 2010 -- developments in the construction of the National Corpus of Polish (NKJP). The NKJP project was launched at the ver...
74
Voted
GRC
2008
IEEE
14 years 10 months ago
2008
IEEE
This is a follow-up of the paper “A ten-year review of granular computing” published in 2007. We will continue to examine the most influential papers in granular computing. B...