1284 search results - page 148 / 257 » Abstract Processes in Orchestration Languages |
138
click to vote
ER
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Vulnerabilities are weaknesses in the requirements, design, and implementation, which attackers exploit to compromise the system. This paper proposes a vulnerability-cent...
149
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...
125
click to vote
FDL
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. The paper proposes a simulation-based method for validating analog and mixed-signal circuits, using the hybrid systems methodology. This method builds upon RRT (Rapidly-e...
141
click to vote
GPCE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Component-oriented programming yields a tension between higherorder features (deployment, reconfiguration, passivation), encapsulation, and component sharing. We propose...
116
click to vote
AI
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. In recent years much research has been conducted on building Thesauri and enhancing them with new terms and relationships. I propose to build and evaluate a system for au...