Sciweavers

3745 search results - page 165 / 749
» Sonic: System Description
Sort
View
179
Voted
ISCIS
2004
Springer
16 years 12 days ago
Semi-formal and Formal Models Applied to Flexible Manufacturing Systems
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...
Andrea Matta, Carlo A. Furia, Matteo Rossi
ISSS
2002
IEEE
133views Hardware» more  ISSS 2002»
15 years 12 months ago
Efficient Simulation of Synthesis-Oriented System Level Designs
Modeling for synthesis and modeling for simulation seem to be two competing goals in the context of C++-based modeling frameworks. One of the reasons is while most hardware system...
Rajesh K. Gupta, Sandeep K. Shukla, Nick Savoiu
203
Voted
IIR
2010
15 years 8 months ago
Thinking of a System for Image Retrieval
Increasing applications are demanding effective and efficient support to perform retrieval in large collections of digital images. The work presented here is an early stage resear...
Giovanna Castellano, Gianluca Sforza, Maria Alessa...
156
Voted
USENIX
1994
15 years 8 months ago
An Overview of the NetWare Operating System
The NetWare operating system is designed specifically to provide service to clients over a computer network. This design has resulted in a system that differs in several respects ...
Drew Major, Greg Minshall, Kyle Powell
APSEC
2007
IEEE
16 years 1 months ago
Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
João M. Fernandes, Jens Bæk Jø...