3045 search results - page 483 / 609 » Formal Approaches to Software Architecture |
153
click to vote
KIVS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. With the continuously growing number of distributed and heterogeneous IT systems there is the need for structured and efficient identity management (IdM) processes. This ...
246
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
From the 1990s on, one of the most important challenges facing computer science researchers has been the design and construction of software tools to exploit Internet computing. A...
215
click to vote
MOBIDE
2003
ACM
15 years 11 months ago
2003
ACM
The common vision of pervasive computing environments requires a very large range of devices and software components to interoperate seamlessly. From the assumption that these dev...
152
click to vote
EDOC
2002
IEEE
15 years 11 months ago
2002
IEEE
Thispaper describes a set of modeling techniquesfor developing vertical applications in specific domains. Previous approaches are mainly focused on obtaining final applications. W...
175
click to vote
CGO
2010
IEEE
15 years 11 months ago
2010
IEEE
In this paper we describe techniques for compiling finegrained SPMD-threaded programs, expressed in programming models such as OpenCL or CUDA, to multicore execution platforms. Pr...