6258 search results - page 301 / 1252 » Applied Text Generation |
163
click to vote
ASWEC
2005
IEEE
15 years 10 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
134
click to vote
CODES
2005
IEEE
15 years 10 months ago
2005
IEEE
In order to meet flexibility, performance and energy efficiency constraints, future SoC (System-on-Chip) designs will contain an increasing number of heterogeneous processor cor...
162
click to vote
SDMW
2005
Springer
15 years 10 months ago
2005
Springer
The Extensible Markup Language (XML) is considered as the de facto standard for information processing and exchange on the Internet and in the enterprise services domain. It is wid...
143
click to vote
TPHOL
1994
IEEE
15 years 9 months ago
1994
IEEE
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...
132
click to vote
IIWAS
2008
15 years 6 months ago
2008
Distributed development of software has turned into a natural and modern approach where teams spread over the world cooperate to develop a software product, and this has become po...