1837 search results - page 202 / 368 » Architecture = Abstractions over Software |
114
Voted
ERSHOV
2006
Springer
15 years 2 months ago
2006
Springer
Graph transformations are one of the best known approaches for defining transformations in model-based software development. They are defined over the abstract syntax of source and...
111
Voted
IESA
2007
15 years 2 months ago
2007
In this paper we propose a new approach for service-oriented enterprise application integration (EAI). Unlike current EAI solutions, which mainly focus on technological aspects, ou...
67
Voted
EXPERT
2006
15 years 24 days ago
2006
o address the need for canonical abstraction, we've adopted software engineering's concept of signatures--a technique for defining software patterns or invariant procedur...
102
click to vote
TACAS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...
121
Voted
EUROPAR
1997
Springer
15 years 5 months ago
1997
Springer
Instruction scheduling in general, and software pipelining in particular face the di cult task of scheduling operations in the presence of uncertain latencies. The largest contrib...