427 search results - page 72 / 86 » Applying Aspect-Orientation in Designing Security Systems: A... |
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
WSC
2008
13 years 11 months ago
2008
This paper presents the design and development of a template for analyzing shaft construction projects. It is suitable for integration with the existing Tunneling template of the ...
AUTOMATICA
2002
13 years 8 months ago
2002
As a case study of a particular control methodology and as a practical contribution in the area of underwater vehicle control, we consider the problem of stabilizing an underwater...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
In this paper, we investigate nonuniform coverage of a planar region by a network of autonomous, mobile agents. We derive centralized nonuniform coverage control laws from uniform ...
IWPSE
2007
IEEE
14 years 2 months ago
2007
IEEE
Software systems need to change over time to cope with new requirements, and due to design decisions, the changes happen to crosscut the system’s structure. Understanding how ch...