336 search results - page 55 / 68 » Formal architectural abstractions for interactive software |
178
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
SFM
2005
Springer
15 years 3 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—The generation of device drivers is a very time consuming and error prone activity. All the strategies proposed up to now to simplify this operation require a manual, ev...
101
Voted
DBSEC
2001
14 years 11 months ago
2001
: In this paper we introduce a series of reference models for Secure Role-Based Workflow systems. We build our models over the well-known RBAC96 framework. 96 model supports the no...
STEP
2005
IEEE
15 years 3 months ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...