Sciweavers

1022 search results - page 9 / 205
» Specification of Dynamics for Knowledge-Based Systems
Sort
View
WOSP
1998
ACM
13 years 12 months ago
Poems: end-to-end performance design of large parallel adaptive computational systems
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
Ewa Deelman, Aditya Dube, Adolfy Hoisie, Yong Luo,...
ACSD
2006
IEEE
76views Hardware» more  ACSD 2006»
13 years 11 months ago
Specification and Verification of Dynamic Communication Systems
Dynamic communication systems (DCS) are complex because of their unboundedness in several dimensions. They have an unbounded and changing number of objects, a dynamically changing...
Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd W...
ADVIS
2006
Springer
14 years 1 months ago
Integrated Expert Management Knowledge on OSI Network Management Objects
Abstract. The management of modern telecommunications networks must satisfy ever-increasing operational demands. We propose a study for the improvement of intelligent administratio...
Antonio Martín, Carlos León, F&eacut...
DLOG
1998
13 years 9 months ago
DLP System Description
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
Peter F. Patel-Schneider
ICEIS
2005
IEEE
14 years 1 months ago
Graphical Specification of Dynamic Network Structure
Fredrik Seehusen, Ketil Stølen