Sciweavers

3358 search results - page 406 / 672
» Dynamic Description Logics
Sort
View
EUROMICRO
2009
IEEE
16 years 1 months ago
An Architecture-Based Framework for Managing Adaptive Real-Time Applications
—Real-time systems are increasingly used in dynamic changing environments with variable user needs, hosting real-time applications ranging in number and nature. This paper propos...
Ning Gui, Vincenzo De Florio, Hong Sun, Chris Blon...
ICCCN
2008
IEEE
16 years 1 months ago
The RNA Metaprotocol
— The Recursive Network Architecture (RNA) explores the relationship of layering to protocol and network architecture. RNA examines the implications of using a single, tunable pr...
Joseph D. Touch, Venkata K. Pingali
ASWEC
2005
IEEE
16 years 8 days ago
A Formal Method for Program Slicing
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
Yingzhou Zhang, Baowen Xu, José Emilio Labr...
CNSR
2005
IEEE
16 years 8 days ago
Managing Access Control for Presence-Based Services
This paper presents an approach for managing access to services over presence-based communications based on the context of the situation. This paper addresses two technical challe...
Anand Dersingh, Ramiro Liscano, Allan G. Jost
ROBOCUP
2005
Springer
119views Robotics» more  ROBOCUP 2005»
16 years 4 days ago
Flexible Coordination of Multiagent Team Behavior Using HTN Planning
The domain of robotic soccer is known as a highly dynamic and non-deterministic environment for multiagent research. We introduce an approach using Hierarchical Task Network planni...
Oliver Obst, Joschka Boedecker