2631 search results - page 239 / 527 » Software Development with Code Maps |
142
click to vote
WORDS
2005
IEEE
15 years 9 months ago
2005
IEEE
Service-Oriented Architecture (SOA) and Web Services (WS) have received significant attention recently. Even though WS are based on open standards and support software interoperab...
140
Voted
APLAS
2004
ACM
15 years 9 months ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
115
Voted
COMPSEC
2010
15 years 13 days ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
139
Voted
TSE
2002
15 years 3 months ago
2002
Software system documentation is almost always expressed informally in natural language and free text. Examples include requirement specifications, design documents, manual pages, ...
165
Voted
CBSE
2011
Springer
14 years 3 months ago
2011
Springer
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...