Sciweavers

2752 search results - page 234 / 551
» Rounding to an Integral Program
Sort
View
TOOLS
2000
IEEE
15 years 11 months ago
Customization of Component-Based Object Request Brokers through Dynamic Reconfiguration
The success of distributed object technology, depends on the advent of Object Request Broker (ORB) architectures that are able to integrate flexible support for various nonfunctio...
Bo Nørregaard Jørgensen, Eddy Truyen...
TOOLS
1999
IEEE
15 years 10 months ago
Combining Object Orientation and Dataflow Modelling in the Vission Simulation System
Scientific visualization and simulation frameworks mostly use data/event flow mechanisms for simulation specification, control, and interactivity. Even though object orientation p...
Alexandru Telea
IFIP
1997
Springer
15 years 10 months ago
A simulation model for designing the automation of future's factory
The factory of the future is going to have a high, but not full, degree of automation. There are three reasons for that. First, no great level of automation is compatible with req...
Javier Borda Elejabarrieta
IFIP
1993
Springer
15 years 10 months ago
The Purdue Enterprise Reference Architecture
The Fluor Daniel Company, a major engineering consulting and construction firm, is applying the Purdue Enterprise Reference Architecture and Methodology (PERA) to their project wo...
Theodore J. Williams
ICALP
1992
Springer
15 years 10 months ago
What Good Are Digital Clocks?
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
Thomas A. Henzinger, Zohar Manna, Amir Pnueli