249 search results - page 21 / 50 » Analyzing software process models with AVISPA |
JCIT
2010
13 years 2 months ago
2010
Voice over Internet Protocol (VoIP) is a general term for a family of transmission technologies to delivery of voice communications over IP networks such as the Internet or other ...
UML
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Aspect-Oriented Modeling (AOM) techniques allow software designers to isolate and address separately solutions for crosscutting concerns (such as security, reliability, n...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
Requirement engineering (RE) is emerging as an increasingly important discipline for supporting Web application development, as these are designed to satisfy diverse stakeholder n...
CODES
2008
IEEE
14 years 2 months ago
2008
IEEE
Software-controlled scratchpad memory is increasingly employed in embedded systems as it offers better timing predictability compared to caches. Previous scratchpad allocation alg...
FSEN
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...