4767 search results - page 274 / 954 » Structures for Abstract Rewriting |
161
click to vote
FPL
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--Efficient storage in spatial processors is increasingly important as such devices get larger and support more concurrent operations. Unlike sequential processors that rel...
162
click to vote
FAC
2008
15 years 6 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...
156
click to vote
JOT
2007
15 years 6 months ago
2007
Programs designed from scratch often start with just a set of classes. Classes can be instantiated and so deliver the objects that are the carriers of information and function. In...
188
click to vote
INTERACTIONS
2010
15 years 3 months ago
2010
s from a concrete to a new abstract level of description [1]. Rises in abstraction level happen regularly in all fields, but the key difference in Alexander's work was that ra...
184
click to vote
MSV
2007
15 years 8 months ago
2007
Abstract—Service requests are the origin of every service provisioning process and therefore the entities to be considered first. Similar to Physics and Engineering Sciences, ser...