Sciweavers

1665 search results - page 137 / 333
» Design Patterns as Language Constructs
Sort
View
HASE
2007
IEEE
16 years 21 days ago
On the Verifiability of Programs Written in the Feature Language Extensions
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
Wu-Hon F. Leung
AOSD
2010
ACM
15 years 6 months ago
An architecture for composing embedded domain-specific languages
Embedded domain-specific languages (EDSLs) are said to be easier to compose than DSLs that are implemented by preprocessors. However, existing approaches focus on composition scen...
Tom Dinkelaker, Michael Eichberg, Mira Mezini
ICDE
1999
IEEE
114views Database» more  ICDE 1999»
16 years 7 months ago
Universal Temporal Extensions for Database Languages
Temporal reasoning and temporal query languages present di cult research problems of theoretical interest and practical importance. One problem is the chasm between point-based te...
Cindy Xinmin Chen, Carlo Zaniolo
ICEBE
2005
IEEE
135views Business» more  ICEBE 2005»
15 years 12 months ago
GridPML: A Process Modeling Language and History Capture System for Grid Service Composition
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...
Hua Ma, Susan Darling Urban, Yang Xiao, Suzanne W....
CIA
2004
Springer
15 years 11 months ago
On the Impact of Agent Communication Languages on the Implementation of Agent Systems
Abstract. Today’s software platforms that support the construction of agent systems in accordance with the FIPA specifications essentially provide enabling infrastructure servic...
Juan Manuel Serrano, Sascha Ossowski