2232 search results - page 100 / 447 » Formal Modeling and Analysis of Organizations |
163
click to vote
LICS
2005
IEEE
16 years 7 hour ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
198
click to vote
LCTRTS
2010
Springer
16 years 1 months ago
2010
Springer
This paper extends the methodology of analytic real-time analysis of distributed embedded systems towards merging and extracting sub-streams based on event type information. For e...
155
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Thermal injury is among the most severe forms of trauma and its effects are both local and systemic. Response to thermal injury includes cellular protection mechanisms...
208
click to vote
TMM
2010
15 years 1 months ago
2010
Abstract--With the increased presence of digital imaging devices, there also came an explosion in the amount of multimedia content available online. Users have transformed from pas...
174
click to vote
MEMOCODE
2007
IEEE
16 years 21 days ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...