5064 search results - page 5 / 1013 » Recent Developments in Gridsolve |
ICC
2009
IEEE
14 years 2 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
12 years 3 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
14 years 1 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...
LREC
2010
13 years 9 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...
GRC
2008
IEEE
13 years 9 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...