Sciweavers

1260 search results - page 57 / 252
» OpenJ: An Extensible System Level Design Language
Sort
View
MEMOCODE
2010
IEEE
14 years 7 months ago
Proving transaction and system-level properties of untimed SystemC TLM designs
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
Daniel Große, Hoang M. Le, Rolf Drechsler
SLE
2009
Springer
15 years 4 months ago
Language Boxes
As domain-specific modeling begins to attract widespread acceptance, pressure is increasing for the development of new domainspecific languages. Unfortunately these DSLs typicall...
Lukas Renggli, Marcus Denker, Oscar Nierstrasz
FLAIRS
2007
15 years 1 days ago
Knowledge Representation with Granular Attributive Logic for XTT-Based Expert Systems
This paper presents an extension of classical attributive logic using atomic values of attributes. In the proposed logic set values are allowed and various relational symbols are ...
Antoni Ligeza, Grzegorz J. Nalepa
ATAL
2008
Springer
14 years 11 months ago
Extending agent languages for autonomy
BDI agent languages provide a useful abstraction for complex systems comprised of interactive autonomous entities, but they have been used mostly in the context of single agents w...
Felipe Rech Meneguzzi
BPM
2008
Springer
158views Business» more  BPM 2008»
14 years 11 months ago
Towards Transformations from BPMN to Heterogeneous Systems
Abstract. By now, the mapping from BPMN to BPEL has been implemented in numerous tools, greatly assisting the business architect in the creation of BPEL processes. However, most of...
Tobias Küster, Axel Heßler