484 search results - page 47 / 97 » Next Generation Language Resources using GRID |
DATE
2010
IEEE
13 years 6 months ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
FATES
2003
Springer
14 years 27 days ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
A power grid is a complex system connecting electric power generators to consumers through power transmission and distribution networks across a large geographical area. System mo...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
Over the years reconfigurable computing devices such as FPGAs have evolved from gate-level glue logic to complex reprogrammable processing architectures. However, the tools used f...
SECURWARE
2008
IEEE
14 years 2 months ago
2008
IEEE
Filtering is a very important issue in next generation networks. These networks consist of a relatively high number of resource constrained devices with very special features, suc...