3771 search results - page 459 / 755 » Subobject Transformation Systems |
127
click to vote
QEST
2005
IEEE
15 years 10 months 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...
131
click to vote
BIRTHDAY
2005
Springer
15 years 10 months 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...
140
click to vote
CHARME
2005
Springer
15 years 10 months 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...
123
click to vote
ICCS
2005
Springer
15 years 10 months 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...
137
Voted
DOLAP
2004
ACM
15 years 10 months 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...