12333 search results - page 589 / 2467 » System Level Modelling for Hardware Software Systems |
206
click to vote
ICWE
2005
Springer
16 years 18 days ago
2005
Springer
New Web applications are rapidly moving from stand-alone systems to distributed applications that need to interoperate with third party systems, such as external Web services or le...
208
click to vote
FIW
1998
15 years 8 months ago
1998
In this paper we describe an ongoing project aimed at investigating the impact of feature interaction problems on computer telephony integration (CTI). As a representative and soph...
217
click to vote
BERTINORO
2005
Springer
16 years 19 days ago
2005
Springer
Current computing environments are becoming increasingly complex in nature and exhibit unpredictable workloads. These environments create challenges to the design of systems that c...
193
click to vote
IFIP11
2004
15 years 8 months ago
2004
This paper proposes a formal model of the Bellare-Rogaway type [1] that enables one to prove the security of an anonymous credential system in a complexity theoretic framework. Th...
192
click to vote
FPL
2005
Springer
16 years 18 days ago
2005
Springer
String pattern matching is a computationally expensive task, and when implemented in hardware, it can consume a large amount of resources for processing and storage. This paper pr...