338 search results - page 59 / 68 » The design and implementation of formal monitoring technique... |
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices. Statecharts are often mor...
ACMSE
2000
ACM
13 years 12 months ago
2000
ACM
Scenarios are narratives that illustrate future possibilities, such as proposed systems or plans, and help policy makers and designers choose among alternative courses of action. ...
PPOPP
1993
ACM
13 years 11 months ago
1993
ACM
A vast body of theoretical research has focused either on overly simplistic models of parallel computation, notably the PRAM, or overly specific models that have few representati...
CAISE
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a...
CCGRID
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--Reducing energy consumption for high end computing can bring various benefits such as, reduce operating costs, increase system reliability, and environment respect. This ...