805 search results - page 55 / 161 » Location-Based Software Modeling and Analysis: Tropos-Based ... |
SP
2007
IEEE
15 years 4 months ago
2007
IEEE
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws ...
DAC
2005
ACM
15 years 10 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
108
click to vote
ECMDAFA
2005
Springer
15 years 3 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
ICSM
1999
IEEE
15 years 2 months ago
1999
IEEE
Many coupling measures have been proposed in the context of object-oriented (OO) systems. In addition, several studies have highlighted the complexity of using dependency analysis...
SIGSOFT
2005
ACM
15 years 10 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...