12333 search results - page 684 / 2467 » System Level Modelling for Hardware Software Systems |
182
click to vote
RISE
2005
Springer
16 years 22 days ago
2005
Springer
Software Product Line (SPL) engineering allows designers to reason about an entire family of software applications, instead of a single product, with a strategic importance for the...
208
Voted
CONTEXT
2003
Springer
16 years 15 days ago
2003
Springer
In conventional security systems, protected resources such as documents, hardware devices and software applications follow an On/Off access policy. On, allows to grant access and ...
180
click to vote
METRICS
1997
IEEE
15 years 11 months ago
1997
IEEE
The process of E-type software development andevolution has proven most difficult to improve, possibly due to the fact that the processis a multi-input, multi-output system involv...
180
click to vote
EURONGI
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. This paper proposes an approximate methodology for solving Markov models that compete for limited resources and retry when access fails, like those arising in mobile cell...
165
click to vote
MEMOCODE
2005
IEEE
16 years 25 days ago
2005
IEEE
The SystemVerilog standard introduces SystemVerilog Assertions (SVA), a synchronous assertion package based on the temporal-logic semantics of PSL. Traditionally assertions are ch...