4460 search results - page 174 / 892 » Formal methods for interactive systems |
141
Voted
SAM
2004
15 years 5 months ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
156
click to vote
IEE
2008
15 years 4 months ago
2008
: From a maintenance perspective, only software that is well understood can evolve in a controlled and high-quality manner. Software evolution itself is a knowledge-driven process ...
157
Voted
SEFM
2008
IEEE
15 years 10 months ago
2008
IEEE
Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an level, planned behaviour and reactive behaviour are two importan...
132
click to vote
DEXAW
2003
IEEE
15 years 9 months ago
2003
IEEE
As users, computers, data and processes become increasingly mobile and the diversity of interacting devices increases, pervasive computing tasks are difficult to predict and to u...
TABLETOP
2007
IEEE
15 years 10 months ago
2007
IEEE
Many tabletop systems have been developed, but few of them deal with the problems of visualizing and manipulating a large amount of information such as files on a tabletop that i...