2067 search results - page 232 / 414 » Modeling and Simulation of Operating System Behavior |
172
click to vote
HICSS
2003
IEEE
16 years 7 days ago
2003
IEEE
This paper attempts to evaluate the performance of an environmental mitigation banking system operating under different regulatory. Pricing and subsidization policies using system...
166
Voted
FORMATS
2003
Springer
16 years 5 days ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
182
Voted
BIRTHDAY
2005
Springer
16 years 15 days ago
2005
Springer
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
200
click to vote
SAC
2004
ACM
16 years 11 days ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
191
Voted
LCN
2003
IEEE
16 years 6 days ago
2003
IEEE
- With the current wide deployment of Gigabit Ethernet technology in the backbone and workgroup switches, the network performance bottleneck has shifted for the first time in nearl...