4166 search results - page 125 / 834 » A modular module system |
DAC
2002
ACM
14 years 11 months ago
2002
ACM
Tools and a design methodology have been developed to support partial run-time reconfiguration of FPGA logic on the Field Programmable Port Extender. High-speed Internet packet pr...
KBSE
2005
IEEE
14 years 3 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
CONCUR
2004
Springer
14 years 3 months ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
RANLP
2003
13 years 11 months ago
2003
We present Xenon, a natural language generation system capable of distinguishing between nearsynonyms. It integrates a near-synonym choice module with an existing sentence realiza...
KBSE
2007
IEEE
14 years 4 months ago
2007
IEEE
Growth in the complexity of computing systems, in the dynamism of the environments they operate in, and the need for timely adaptations as conditions change, now pose significant...