Sciweavers

7434 search results - page 318 / 1487
» Still
Sort
View
ERSHOV
1993
Springer
15 years 11 months ago
Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling
Distributed database applications are a wide use of distributed systems. One of the major advantages of distributed database systems is the potential for achieving high availabili...
Hanan Lutfiyya, Bruce M. McMillin, Alan Su 0002
IFIP
1993
Springer
15 years 11 months ago
Architecture of Integrated Information Systems (ARIS)
The Architecture of Integrated Information Systems (ARIS) is a popular framework for integrated process modeling. Previous research analysed ARIS using an ontology developed by Bu...
August-Wilhelm Scheer
IFIP
1994
Springer
15 years 11 months ago
The specification of business rules: A comparison of selected methodologies
Business rules are an important element of information systems. The notion business rule encompasses different phenomena; therefore, some classification criteria are presented and...
Holger Herbst, Gerhard Knolmayer, Thomas Myrach, M...
MAAMAW
1994
Springer
15 years 11 months ago
A Multi-Agent Approach to Dynamic, Adaptive Scheduling of Material Flow
Advanced manufacturing control still remains an important topic in current research. Especially aspects of dynamics and of failures in the production process are insufficiently ta...
Stefan Bussmann
SAS
1994
Springer
105views Formal Methods» more  SAS 1994»
15 years 11 months ago
Efficient Strictness Analysis of Haskell
Strictness analysis has been a living field of investigation since Mycroft's original work in 1980, and is getting increasingly significant with the still wider use of lazy fu...
Kristian Damm Jensen, Peter Hjæresen, Mads R...