2624 search results - page 26 / 525 » The 2LIP model and its implementations |
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
Threat modeling analyzes how an adversary might attack a system by supplying it with malicious data or interacting with it. The analysis uses a Data Flow Diagram (DFD) to describe...
WOTUG
2008
13 years 9 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
HICSS
2003
IEEE
14 years 28 days ago
2003
IEEE
This paper presents a generic model driven approach to enable Quality of Service (QoS) modeling and realization for component based middleware platforms. We describe a QoS metamod...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
IT governance is one of these concepts that suddenly emerged and became an important issue in the information technology area. Some organisations started with the implementation o...
OPODIS
2010
13 years 5 months ago
2010
Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been s...