7109 search results - page 261 / 1422 » Process Algebra with Combinators |
125
click to vote
ENTCS
2006
15 years 4 months ago
2006
Industry is looking to create a market in reliable "plug-and-play" components. To model components in a modular style it would be useful to combine event-based and state...
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The first part of our work is connected with the analysis of typical random variables for the specific human-initiated process. We study the data characterizing editorial work wit...
133
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
Recently, a generic approach for syntax-based user assistance in diagram editors has been proposed that requires the syntax of the visual language to be defined by a graph grammar...
124
click to vote
MICRO
2008
IEEE
15 years 11 months ago
2008
IEEE
—Negative bias temperature instability (NBTI), which reduces the lifetime of PMOS transistors, is becoming a growing reliability concern for sub-micrometer CMOS technologies. Par...
137
click to vote
ISPW
2005
IEEE
15 years 10 months ago
2005
IEEE
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...