2432 search results - page 248 / 487 » High-level approach to modeling of observed system behavior |
179
click to vote
SOSP
1997
ACM
15 years 8 months ago
1997
ACM
Multi-threaded programming is difficult and error prone. It is easy to make a mistake in synchronization that produces a data race, yet it can be extremely hard to locate this mi...
241
click to vote
ENTCS
2006
15 years 6 months ago
2006
Conventional approaches to the modeling of autonomous agents and agent communication rely heavily on the ascription of mental properties like beliefs and intentions to the individ...
174
click to vote
SIGMETRICS
2005
ACM
16 years 4 days ago
2005
ACM
- Since many Web applications employ a multi-tier architecture, in this paper, we focus on the problem of analytically modeling the behavior of such applications. We present a mode...
155
click to vote
GLVLSI
2007
IEEE
15 years 10 months ago
2007
IEEE
Reliability modeling and evaluation is expected to be one of the major issues in emerging nano-devices and beyond 22nm CMOS. Such devices would have inherent propensity for gate f...
152
click to vote
UML
2004
Springer
15 years 12 months ago
2004
Springer
Use Cases have achieved wide use as a specification tool for observable behavior of systems. However, there is still much controversy, inconsistent use, and free-flowing interpreta...