Sciweavers

395 search results - page 37 / 79
» Development of a formal REA-ontology Representation
Sort
View
SP
1997
IEEE
106views Security Privacy» more  SP 1997»
15 years 4 months ago
Secure Software Architectures
The computer industry is increasingly dependent on open architectural standards for their competitive success. This paper describes a new approach to secure system design in which...
Mark Moriconi, Xiaolei Qian, Robert A. Riemenschne...
ATAL
2004
Springer
15 years 3 months ago
Managing Multi-Agent Coordination, Planning, and Scheduling
Most research about multi-agent coordination is concentrated at a high level, e.g., developing coordination interaction protocols to be imposed on agents. There has been less conc...
Wei Chen, Keith Decker
OWLED
2007
15 years 1 months ago
Reasoning with OWL-DL in Inductive Logic Programming
The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Prog...
Francesca A. Lisi
FIW
2000
147views Communications» more  FIW 2000»
15 years 1 months ago
Formalising the Chisel Feature Notation
The CHISEL notation was developed by Bellcore as an informal graphical notation for describing telecomms services and features. CRESS (CHISEL Representation Employing Systematic S...
Kenneth J. Turner
ANOR
2007
80views more  ANOR 2007»
14 years 12 months ago
Branch and bound, integer, and non-integer programming
In this note we review the development of the first commercial branch and bound codes at CEIR/Scicon, with particular emphasis on those features not commonly emphasized today - t...
John J. H. Forrest, John A. Tomlin