2232 search results - page 234 / 447 » Formal Modeling and Analysis of Organizations |
184
click to vote
ATVA
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
171
click to vote
MODELS
2007
Springer
16 years 20 days ago
2007
Springer
A navigation model describes the possible sequences of web pages a user can visit, and a request routing model describes how server side components handle each request. Earlier we...
200
click to vote
IFM
2007
Springer
16 years 21 days ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
175
click to vote
IPSN
2005
Springer
16 years 1 days ago
2005
Springer
Maximizing system lifetime in battery-powered wireless sensor networks with power aware topology control protocols and routing protocols has received intensive research. In the pa...
192
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we propose a new two-level methodology for assessing countries’/companies’ economic/financial performance. The methodology is based on two major techniques of gr...