4485 search results - page 398 / 897 » Equivalences on Observable Processes |
182
Voted
MODELS
2007
Springer
16 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...
202
Voted
PREMI
2007
Springer
16 years 1 months ago
2007
Springer
Humans effortlessly classify and recognize complex patterns even if their attributes are imprecise and often inconsistent. It is not clear how the brain processes uncertain visual ...
208
Voted
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...
166
Voted
HICSS
2006
IEEE
16 years 1 months ago
2006
IEEE
The study investigates the role of ICT in facilitating democracy. The role of ICT in maintaining status quo, or structure of the society can be explained using structuration theor...
227
Voted
ICNP
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...