8446 search results - page 1521 / 1690 » A Process Compensation Language |
120
Voted
EUROMICRO
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes DTC (Documents, Transformations and Components), our approach to the XML-based development of content-intensive applications. According to this approach, the ...
126
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper we introduce a framework to supplement and tag computerized CPG with related best-evidence automatically sourced from on-line medical literature repositories. The id...
127
Voted
ICDAR
2005
IEEE
15 years 9 months ago
2005
IEEE
A trainable method for distinguishing between mathematics notation and natural language (here, English) in images of textlines, using computational geometry methods only with no a...
141
Voted
IEEESCC
2005
IEEE
15 years 9 months ago
2005
IEEE
Web service discovery is a key problem as the number of services is expected to increase dramatically. Service discovery at the present time is based primarily on keywords, or int...
146
Voted
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...