Pre-Owned Lecture Notes in Computer Science: Computer Network Security: Second International Workshop on Mathematical Methods Models and Architectures for Computer Network Security MMM-Acns 2003 St. Petersb from other stores

  • This book presents the refereed proceedings of the International Workshop on M... This book presents the refereed proceedings of the International Workshop on Mathematical Methods Models and Architectures for Network Security Systems MMM-ACNS 2001 held in St. Petersburg in May 2001. The 24 revised full papers presented together... more
  • This volume contains the proceedings of the 7th International Seminar on - lat... This volume contains the proceedings of the 7th International Seminar on - lational Methods in Computer Science (RelMiCS 7) and the 2nd International Workshop onApplications ofKleeneAlgebra.Thecommonmeetingtookplacein Bad Malente (near Kiel) Germany... more
  • C 2 - E C - (EC 99) $ % & E % 26 29 1999. + . + 1997. + % % - % . A % % - % % ... C 2 - E C - (EC 99) $ % & E % 26 29 1999. + . + 1997. + % % - % . A % % - % % % % . 35 % . E % % . B % - 17 % . % . + - . % % . F ? % . F % % . % % %: . C . D; . D F. F . . A . ? % A% % @ - >; C @ . A & % % % ?- @ - F . % B . 1999 E Program Co... more
  • This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop... This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop held at the University of Copenhagen Denmark July 25-26 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop results from the combination... more
  • The 1999 International Information Security Workshop ISW 99 was held on Monash... The 1999 International Information Security Workshop ISW 99 was held on Monash University s Malaysia Campus which is about 20km to the south west of downtown Kuala Lumpur November 6-7 1999. ISW 99soughtadi erentgoalfromitspredecessor ISW 97... more
  • This book constitutes the thoroughly refereed post-proceedings of the 6th Inte... This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Open Hypermedia Systems OHS-6 and the 2nd International Workshop on Structural Computing SC-2 held at the 11th ACM Conference on Hypertext and... more
  • This volume contains the contributions presented at the International Workshop... This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9 1998 in Boppard Germany. The main objective of the workshop was to draw a map of the key issues facing... more
  • WelcometotheproceedingsofthePower-AwareComputerSystems(PACS2002) workshopheld ... WelcometotheproceedingsofthePower-AwareComputerSystems(PACS2002) workshopheld in conjunction with the 8th InternationalSymposium on High PerformanceComputerArchitecture(HPCA-8). Improvementsincomputers-... more
  • This volumecontains the proceedingsof the Second InternationalConferenceon For... This volumecontains the proceedingsof the Second InternationalConferenceon Formal Methods in Computer-Aided Design (FMCAD 98) organized November 4-6 in Palo Alto California USA. The rst event of this series was organized byMandayamSrivasand Albert... more
  • Formal methods have been applied successfully to the verification of medium-si... Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However their application to more complex systems resulting from the object-oriented and the more recent component-based... more
  • The goal of the IST/FET proactive initiative on Global Computing is to - tain ... The goal of the IST/FET proactive initiative on Global Computing is to - tain models frameworks methods algorithms to build systems that are ?exible dependable secure robust and e?cient. The dominant concerns are those of handling the co-ordination... more
  • This book constitutes the refereed proceedings of the Joint Workshop on Proces... This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification PAPM-PROBMIV 2001 held in Aachen Germany in September 2001. The 12 revised full papers... more
  • Program construction is about turning specifications of computer software into... Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory fixpoint... more
  • TheaimoftheARTS 99workshopistobringtogetherresearchersandpr- titioners interes... TheaimoftheARTS 99workshopistobringtogetherresearchersandpr- titioners interested in the design of real-time and probabilistic systems. It is intendedtocoverthewholespectrumofdevelopmentandapplicationofspec- cation veri cation... more
Items per page