3045 search results - page 164 / 609 » Formal Approaches to Software Architecture |
107
click to vote
CSE
2009
IEEE
14 years 9 months ago
2009
IEEE
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...
EICS
2009
ACM
15 years 5 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...
108
click to vote
HIPEAC
2011
Springer
13 years 11 months ago
2011
Springer
Much compiler-orientated work in the area of mapping parallel programs to parallel architectures has ignored the issue of external workload. Given that the majority of platforms w...
ACMSE
2000
ACM
15 years 3 months ago
2000
ACM
We present the background and justi cation for a new approachto studying computation and computational complexity. We focus on categories of problems and categories of solutions w...
APSEC
2004
IEEE
15 years 3 months ago
2004
IEEE
Tiny networked sensor devices will be disseminated over our physical life space, and take a significant role in realizing a ubiquitous computing environment. As sensor network tec...