Sciweavers

2530 search results - page 182 / 506
» Dynamic topological logic
Sort
View
INFOCOM
2010
IEEE
15 years 2 months ago
Overcoming Failures: Fault-tolerance and Logical Centralization in Clean-Slate Network Management
—We investigate the design of a clean-slate control and nt plane for data networks using the abstraction of 4D architecture, utilizing and extending 4D’s concept of logically c...
Hammad Iqbal, Taieb Znati
JVCA
2010
82views more  JVCA 2010»
15 years 2 months ago
Situation agents: agent-based externalized steering logic
We present a simple and intuitive method for encapsulating part of agents’ steering and coordinating abilities into a new class of agents, called situation agents. Situation age...
Matthew Schuerman, Shawn Singh, Mubbasir Kapadia, ...
ICDE
2005
IEEE
107views Database» more  ICDE 2005»
15 years 9 months ago
Search Experiment of Business-Rule by Dynamic Constraint Algebra
Abstract Although e-commerce is becoming popular, product rules, which describe various conditions such as prices, applicability, and discount conditions are still expressed in nat...
Rui Kimura, Takayuki Shiga, Mizuho Iwaihara
CODES
2002
IEEE
15 years 9 months ago
Dynamic run-time HW/SW scheduling techniques for reconfigurable architectures
Dynamic run-time scheduling in System-on-Chip platforms has become recently an active area of research because of the performance and power requirements of new applications. Moreo...
Juanjo Noguera, Rosa M. Badia
EKAW
1999
Springer
15 years 8 months ago
Formally Verifying Dynamic Properties of Knowledge Based Systems
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
Perry Groot, Annette ten Teije, Frank van Harmelen