Sciweavers

129 search results - page 12 / 26
» Identifying Security Aspects in Early Development Stages
Sort
View
ICN
2007
Springer
14 years 26 days ago
Beyond Broadcast--A Hybrid Testbed for Mobile TV 2.0 Services
Current market research indicates high future demand for broadcast services such as Mobile TV. While underlying competing bearer technologies are being extensively tested and refi...
Raimund Schatz, Norbert Jordan, Siegfried Wagner
SCESM
2006
ACM
239views Algorithms» more  SCESM 2006»
14 years 20 days ago
Aspect-oriented software design with a variant of UML/STD
The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing syst...
Shin Nakajima, Tetsuo Tamai
RSP
1999
IEEE
13 years 11 months ago
System Design Validation Using Formal Models
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
Peter Henderson, Robert John Walters
EWSA
2005
Springer
14 years 7 days ago
Architecture Description for Mobile Distributed Systems
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
Volker Gruhn, Clemens Schäfer
EDOC
2011
IEEE
12 years 6 months ago
UML Metamodel-based Workflow Modeling and Execution
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...
Jens Brüning, Martin Gogolla