620 search results - page 74 / 124 » Concrete Abstractions |
FGCN
2008
IEEE
14 years 4 months ago
2008
IEEE
The home network system (HNS, for short) is comprised of networked home appliances, which achieves various value-added services for home users. Assuring safety of the HNS and the ...
KIVS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. With the continuously growing number of distributed and heterogeneous IT systems there is the need for structured and efficient identity management (IdM) processes. This ...
CEEMAS
2003
Springer
14 years 3 months ago
2003
Springer
Flexibility and adaptability are essential properties of intelligent manufacturing systems. However, it is a major challenge to realize these properties and the benefits of a flexi...
FMSD
2007
13 years 10 months ago
2007
In the classical framework of formal languages, a refinement n is modeled by a substitution and an abstraction by an inverse substitution. These mechanisms have been widely studie...
VL
1996
IEEE
14 years 2 months ago
1996
IEEE
ToonTalkTM is a general-purpose concurrent programming system in which the source code is animated and the programming environment is like a me. Every abstract computational aspec...