4008 search results - page 572 / 802 » An expressive language of signatures |
154
click to vote
UC
2007
Springer
16 years 21 days ago
2007
Springer
We propose an extension of the traditional λ-calculus in which terms are used to control an outside computing device (quantum computer, DNA computer...). We introduce two new bind...
144
click to vote
CCGRID
2006
IEEE
16 years 20 days ago
2006
IEEE
Grid technology enables access and sharing of data and computational resources across administrative domains. Thus, it is important to provide a uniform access and management mech...
177
click to vote
DATE
2006
IEEE
16 years 20 days ago
2006
IEEE
With the increasing complexity and heterogeneity of embedded electronic systems, a unified design methodology at evels of abstraction becomes a necessity. Meanwhile, it is also i...
189
click to vote
ECBS
2006
IEEE
16 years 20 days ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
166
click to vote
EDOC
2006
IEEE
16 years 20 days ago
2006
IEEE
Enterprise systems are frequently built by combining a number of discrete Web services together, a process termed composition. There are a number of architectural configurations ...