2362 search results - page 372 / 473 » Programming in Standard ML |
104
click to vote
DFG
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
143
click to vote
ER
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. XML is rapidly emerging as a dominant standard for representing and exchanging information. The ability to transform and present data in XML is crucial and XSLT is a rela...
123
Voted
HIPC
2004
Springer
15 years 8 months ago
2004
Springer
This paper summarizes the design and implementation of a parallel algorithm for state assignment of large Finite State Machines (FSMs). High performance CAD tools are necessary to...
152
click to vote
ICSOC
2004
Springer
15 years 8 months ago
2004
Springer
Emerging Web services standards enable the development of large-scale applications in open environments. In particular, they enable services to be dynamically bound. However, curr...
139
Voted
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
We study the general packing problem with M constraints. In [Jansen and Zhang, TCS 2002] a c(1 + ε)-approximation algorithm for the general packing problem was proposed. A block s...