3782 search results - page 459 / 757 » Engineering Social Order |
168
click to vote
WOSP
2004
ACM
16 years 2 days ago
2004
ACM
In this paper we describe our experience in performance analysis of the software architecture of the NICE case study which is responsible for providing several secure communicatio...
182
click to vote
CMSB
2004
Springer
16 years 2 days ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
191
click to vote
EDBTW
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. The rapid increase on the circulation of data over the web has highlighted the need for distributed storage of Internet-accessible information due to the rapid increase o...
210
click to vote
FASE
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
225
click to vote
IMR
2004
Springer
16 years 1 days ago
2004
Springer
Virtual prototyping and numerical simulations are increasingly replacing real mock-ups and experiments in industrial product development. Many of these simulations, e.g. for the p...