Sciweavers

9503 search results - page 214 / 1901
» Authenticated System Calls
Sort
View
MCU
2007
90views Hardware» more  MCU 2007»
15 years 8 months ago
Partial Halting in P Systems Using Membrane Rules with Permitting Contexts
Abstract. We consider a new variant of the halting condition in P systems, i.e., a computation in a P system is already called halting if not for all membranes a rule is applicable...
Artiom Alhazov, Rudolf Freund, Marion Oswald, Serg...
JFPLC
1998
15 years 8 months ago
DF - a feature constraint system and its extension to a logic concurrent language
Abstract. This paper presents a feature constraint system that, compared with the well-known systems OSF 1] and CFT 5], incorporates several interesting characteristics. The new sy...
Liviu-Virgil Ciortuz
GCC
2003
Springer
16 years 12 days ago
A Distributed Media Service System Based on Globus Data-Management Technologies
Recently, emerging high performance applications require the ability to exploit diverse, geographically distributed resources, specifically, in a Grid environment. A collection of ...
Xiang Yu, Shoubao Yang, Yu Hong
COMPSAC
2009
IEEE
15 years 11 months ago
Towards a Unified Behavioral Model for Component-Based and Service-Oriented Systems
There is no clear distinction between service-oriented systems (SOS) and component-based systems (CBS). However, there are several characteristics that could let one consider SOS ...
Aida Causevic, Aneta Vulgarakis
EDO
2006
Springer
15 years 11 months ago
REDS: a reconfigurable dispatching system
We present a new publish-subscribe middleware called REDS (REconfigurable Dispatching System) designed to tolerate dynamic reconfigurations of the dispatching infrastructure, like...
Gianpaolo Cugola, Gian Pietro Picco