Sciweavers

4349 search results - page 469 / 870
» A Comprehensive Process Model for Studying Software Process ...
Sort
View
152
Voted
DAGSTUHL
2006
15 years 7 months ago
A Framework for Analyzing Composition of Security Aspects
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
Jorge Fox, Jan Jürjens
261
Voted
WWCA
1998
Springer
15 years 10 months ago
Compact and Flexible Resolution of CBT Multicast Key-Distribution
In an open network such as the Internet, multicast security services typically start with group session-key distribution. Considering scalability for group communication among wide...
Kanta Matsuura, Yuliang Zheng, Hideki Imai
JLP
2006
108views more  JLP 2006»
15 years 6 months ago
On testing UML statecharts
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...
Mieke Massink, Diego Latella, Stefania Gnesi
143
Voted
SIGGRAPH
1997
ACM
15 years 10 months ago
Real-time nonphotorealistic rendering
Nonphotorealistic rendering (NPR) can help make comprehensible but simple pictures of complicated objects by employing an economy of line. But current nonphotorealistic rendering ...
Lee Markosian, Michael A. Kowalski, Daniel Goldste...
184
Voted
RSP
2006
IEEE
125views Control Systems» more  RSP 2006»
16 years 5 days ago
Creation and Validation of Embedded Assertion Statecharts
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Dem...