1404 search results - page 189 / 281 » On the Behavior of Complex Object-Oriented Systems |
146
click to vote
IPPS
2006
IEEE
16 years 2 days ago
2006
IEEE
— We present a novel hardware mechanism for dynamic program phase detection in distributed sharedmemory (DSM) multiprocessors. We show that successful hardware mechanisms for pha...
166
Voted
ICAIL
2005
ACM
15 years 11 months ago
2005
ACM
Computational law is an approach to automated legal reasoning focusing on semantically rich laws, regulations, contract terms, and business rules in the context of electronicallym...
174
click to vote
SIGECOM
2005
ACM
15 years 11 months ago
2005
ACM
We present a new approach to representing coalitional games based on rules that describe the marginal contributions of the agents. This representation scheme captures characterist...
169
click to vote
ASM
2005
ASM
15 years 11 months ago
2005
ASM
Abstract. Exploration algorithms are relevant to the industrial practice of gentest cases from an abstract state machine whose runs define the predicted behavior of the software s...
159
click to vote
CONCUR
2005
Springer
15 years 11 months ago
2005
Springer
We propose a compositional approach to the dynamics of gene regulatory networks based on the stochastic π-calculus, and develop a representation of gene network elements which can...