29172 search results - page 174 / 5835 » Modeling Systems in CLP |
169
Voted
ICSEA
2006
IEEE
15 years 11 months ago
2006
IEEE
—Stochastic activity networks (SANs) are a stochastic generalization of Petri nets. SAN models have been used to evaluate a wide range of systems and are supported by several mod...
148
click to vote
CODES
2007
IEEE
15 years 11 months ago
2007
IEEE
Performance analysis of microprocessors is a critical step in defining the microarchitecture, prior to register-transfer-level (RTL) design. In complex chip multiprocessor systems...
138
click to vote
ESAW
2009
Springer
15 years 11 months ago
2009
Springer
In sociology, the role concept is deeply researched to predict activities of human organizations and theorized with many sub-theories. In the same direction, multi-agent system res...
129
click to vote
IEEEARES
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we discuss the use of formal requirementsengineering techniques in capturing security requirements for a Grid-based operating system. We use KAOS goal model to repr...
147
Voted
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
There is no clear distinction between service-oriented systems (SOS) and component-based systems (CBS). However, there are several characteristics that could let one consider SOS ...