Sciweavers

279 search results - page 41 / 56
» Towards NFC-Aware Process Execution for Dynamic Environments
Sort
View
IWFM
2000
167views Formal Methods» more  IWFM 2000»
13 years 9 months ago
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
Claus Pahl
IWPSE
2003
IEEE
14 years 29 days ago
Program Slicing Tool for Effective Software Evolution Using Aspect-Oriented Technique
One of the issues in software evolution is debugging. Debugging large and complex software systems evolved requires a lot of effort since it is very difficult to localize and ide...
Takashi Ishio, Shinji Kusumoto, Katsuro Inoue
ISDO
2000
181views Business» more  ISDO 2000»
13 years 9 months ago
eFlow: an Open, Flexible and Configurable Approach to Service Composition
The Web is rapidly becoming the platform through which many companies deliver services to businesses and individual customers. E-Services are typically delivered point-to-point; h...
Fabio Casati
ICDCS
2002
IEEE
14 years 20 days ago
Balancing Performance, Energy, and Quality in Pervasive Computing
We describe Spectra, a remote execution system for batterypowered clients used in pervasive computing. Spectra enables applications to combine the mobility of small devices with t...
Jason Flinn, SoYoung Park, Mahadev Satyanarayanan
CSREAESA
2008
13 years 9 months ago
Real-time Embedded Architecture for Advanced Service Robots
In most advanced real-time control applications such as service robots, the tasks have different criticality, flexible timing constraints and variable execution time. For instance...
David Ramada, Carlos Domínguez, Houcine Has...