1054 search results - page 6 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
ICIW
2007
IEEE
13 years 10 months ago
2007
IEEE
The idea of service orientation envisions dynamic detection and execution of suitable Web services for solving a particular request. Most realization approaches pay only little att...
EICS
2009
ACM
14 years 1 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
ACSD
2006
IEEE
13 years 8 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
FUIN
2006
13 years 6 months ago
2006
We present a model and a core programming language appropriate for modeling and programming interactive computing systems. The model consists of rv-systems (interactive systems wit...
WWW
2008
ACM
14 years 7 months ago
2008
ACM
With the emergence of Yahoo Pipes and several similar services, data mashup tools have started to gain interest of business users. Making these tools simple and accessible to user...