3429 search results - page 413 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
129
click to vote
TLCA
2009
Springer
15 years 11 months ago
2009
Springer
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...
200
click to vote
ICSNW
2004
Springer
15 years 10 months ago
2004
Springer
Knowledge Sifter is a scaleable agent-based system that supports access to heterogeneous information sources such as the Web, open-source repositories, XML-databases and the emergi...
138
click to vote
SEMWEB
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Building user-friendly GUIs for browsing and filtering RDF/S description bases while exploiting in a transparent way the expressiveness of declarative query/view language...
134
click to vote
SEMWEB
2004
Springer
15 years 10 months ago
2004
Springer
Abstract— Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, ...
156
click to vote
EUROMICRO
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...