2836 search results - page 362 / 568 » Model Checking for Software Architectures |
221
click to vote
PARELEC
2000
IEEE
15 years 10 months ago
2000
IEEE
Recent advances in high-speed networks, rapid improvements in microprocessor design, and availability of highly performing clustering software implementations enables cost-effecti...
150
click to vote
ECTEL
2007
Springer
16 years 26 days ago
2007
Springer
In this paper, based on recent scientific findings in the fields of neurology, evolutionary psychology and cognitive psychology we propose a software architecture and technology su...
189
click to vote
CISIS
2010
IEEE
16 years 1 months ago
2010
IEEE
— In pervasive environment, it is essential for computing applications to be context-aware. However, one of the major challenges is the establishment of a generic and dynamic con...
154
click to vote
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In [12] we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the ...
138
click to vote
EUROMICRO
1997
IEEE
15 years 11 months ago
1997
IEEE
Metacomputing is an emergent paradigm that makes possible to distribute applications over a heterogeneous set of computing systems to exploit all available resources. The paper pr...