3771 search results - page 459 / 755 » Subobject Transformation Systems |
165
click to vote
QEST
2005
IEEE
16 years 6 days ago
2005
IEEE
A framework to assess transient performance measures is introduced by generalizing the theory of the quasi Birthand-Death (QBD) paradigm to QBDs with marked time epochs (QBDm ). T...
164
click to vote
BIRTHDAY
2005
Springer
16 years 5 days ago
2005
Springer
We explore the connection between term rewriting systems (TRS) and aspect-oriented programming (AOP). Term rewriting is a paradigm that is used in fields such as program transform...
168
click to vote
CHARME
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
166
click to vote
ICCS
2005
Springer
16 years 4 days ago
2005
Springer
In the next five years, the number of processors in high-end systems for scientific computing is expected to rise to tens and even hundreds of thousands. For example, the IBM Blu...
182
click to vote
DOLAP
2004
ACM
16 years 1 days ago
2004
ACM
A peer-to-peer (P2P) data management system consists essentially of a network of peer systems, each maintaining full autonomy over its own data resources. Data exchange between pe...