Sciweavers

2595 search results - page 236 / 519
» Addressing Computational Viewpoint Design
Sort
View
115
Voted
APSEC
2003
IEEE
15 years 7 months ago
Developing Secure Networked Web-Based Systems Using Model-based Risk Assessment and UMLsec
Despite a growing awareness of security issues in networked computing systems, most development processes used today still do not take security aspects into account. To address th...
Siv Hilde Houmb, Jan Jürjens
RTCSA
2003
IEEE
15 years 7 months ago
Scheduling Jobs with Multiple Feasible Intervals
This paper addresses the problem of scheduling real-time jobs that have multiple feasible intervals. The problem is NP-hard. We present an optimal branch-and-bound algorithm. When...
Chi-Sheng Shih, Jane W.-S. Liu, Infan Kuok Cheong
105
Voted
CHI
2003
ACM
15 years 7 months ago
Kinetic typography-based instant messaging
Kinetic Typography, text whose appearance changes over time, is emerging as a new form of expression due to its ability to add emotional content to text. We explored the potential...
Kerry Bodine, Mathilde Pignol
PADS
2003
ACM
15 years 7 months ago
An Implementation of the SSF Scalable Simulation Framework on the Cray MTA
Large-scale parallel discrete event simulations of massive networks, such as the Internet, are “Grand Challenge” problems: packet level simulation of even a small fraction of ...
Robert R. Henry, Simon Kahan, Jason Liu, David M. ...
DANCE
2002
IEEE
15 years 7 months ago
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
José Meseguer, Peter Csaba Ölveczky, M...