8623 search results - page 1511 / 1725 » Software engineering for secure systems |
173
click to vote
FSTTCS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
163
click to vote
ICFEM
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...
168
click to vote
ICWE
2005
Springer
16 years 1 days ago
2005
Springer
Current Web generation techniques are mainly hard-coded for predefined architectures of Web applications. Consequently, there is a gap between Web design models and the final imple...
138
click to vote
SERA
2005
Springer
16 years 13 hour ago
2005
Springer
This paper presents Deployment Factory, a modeldriven unified environment for deploying componentbased applications. While there are projects aiming to develop a unified deploymen...
156
click to vote
SOCO
2005
Springer
16 years 12 hour ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...