Sciweavers

29172 search results - page 216 / 5835
» Modeling Systems in CLP
Sort
View
IASTEDSE
2004
15 years 7 months ago
Using application domain ontology to construct an initial system model
This paper describes a case study on application of natural language processing in very early stages of the requirements engineering. In our previous work [7] we have shown how na...
Leonid Kof
ENTCS
2006
109views more  ENTCS 2006»
15 years 6 months ago
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets
In this paper, we discuss how to model systems that communicate through and are coordinated by mobile channels. Mainly, we focus on modeling the exogenous coordination behavior im...
Juan Guillen Scholten, Farhad Arbab, Frank S. de B...
141
Voted
WSC
1997
15 years 7 months ago
A Sortation System Model
Automotive manufacturing is a complex task involving several steps of machining and assembly. Typically, larger components of an automobile such as the body, engine etc. are assem...
Arun Jayaraman, Ramu Narayanaswamy, Ali K. Gunal
OSDI
1994
ACM
15 years 7 months ago
A Caching Model of Operating System Kernel Functionality
Operating system research has endeavored to develop micro-kernels that provide modularity, reliability and security improvements over conventional monolithic kernels. However, the...
David R. Cheriton, Kenneth J. Duda
CDC
2008
IEEE
187views Control Systems» more  CDC 2008»
16 years 18 days ago
Gain bounds for multiple model switched adaptive control of general MIMO LTI systems
— For the class of MIMO minimal LTI systems controlled by an estimation based multiple model switched adaptive controller (EMMSAC), bounds are obtained for the closed loop lp gai...
Dominic Pasqual Buchstaller, Mark French