4666 search results - page 222 / 934 » Equations on Timed Languages |
173
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-f...
190
click to vote
IS
2011
15 years 1 months ago
2011
We consider the determinism checking of XML Schema content models, as required by the W3C Recommendation. We argue that currently applied solutions have flaws and make processors...
179
click to vote
ICEBE
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper presents a process modeling language known as the GridPML for the composition of Grid Services. The GridPML is an XML-based language that supports basic control flow co...
156
click to vote
CAISE
2005
Springer
16 years 5 days ago
2005
Springer
To achieve inter-enterprise software interoperability, the semantics of interchanged information by using electronic business documents, has to be explicitly modeled. A common appr...
185
click to vote
APLAS
2004
ACM
16 years 1 days ago
2004
ACM
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas efficiently. The design choices however eï...