355 search results - page 21 / 71 » Aspects of Formal and Graphical Design of a Bus System |
DATE
2006
IEEE
14 years 2 months ago
2006
IEEE
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, has become standard practice in the design of reactive embedded devices. However, the modeling of ...
CACM
2008
13 years 6 months ago
2008
During the last decade, multidimensional databases have become common in the business and scientific worlds. Analysis places significant demands on the interfaces to these databas...
SOUPS
2010
ACM
13 years 12 months ago
2010
ACM
Graphical password systems based on the recognition of photographs are candidates to alleviate current over-reliance on alphanumeric passwords and PINs. However, despite being bas...
WICSA
2008
13 years 9 months ago
2008
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...
COMPSAC
2004
IEEE
13 years 12 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...