3516 search results - page 172 / 704 » Integrating Security Modeling into Embedded System Design |
134
Voted
EDUTAINMENT
2007
Springer
15 years 9 months ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
161
click to vote
WORDS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
127
click to vote
INFOVIS
2005
IEEE
15 years 9 months ago
2005
IEEE
Exploratory visualization environments allow users to build and browse coordinated multiview visualizations interactively. As the number of views and amount of coordination increa...
181
Voted
ECUMN
2007
Springer
15 years 9 months ago
2007
Springer
Pervasive systems enable us to have an overview of what digital environments will look like in the future. Opportunities given by pervasive systems, both in terms of applications ...
130
click to vote
JAR
2008
15 years 3 months ago
2008
The spreading of multicast technology enables the development of group communication and so dealing with digital streams becomes more and more common over the Internet. Given the f...