10072 search results - page 92 / 2015 » Composition of Model Programs |
128
Voted
ICDE
2007
IEEE
15 years 8 months ago
2007
IEEE
A Web service is a software system designed to support interoperable application-to-application interactions over the Internet. Recently, there has been a growing interest in Web ...
135
click to vote
PDSE
1998
15 years 3 months ago
1998
This paper proposes a theoretical framework for verifying and deriving code optimizations for programs written in parallel programming languages. The key idea of this framework is...
121
click to vote
ANSS
2002
IEEE
15 years 7 months ago
2002
IEEE
We present a simulation and design framework for simultaneously designing and modeling electromechanical systems. By instantiating component objects and connecting them to each ot...
117
click to vote
WWW
2005
ACM
16 years 3 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...
117
click to vote
GPCE
2008
Springer
15 years 3 months ago
2008
Springer
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...