Sciweavers

3233 search results - page 452 / 647
» Rule Modeling and Markup
Sort
View
FMOODS
2008
15 years 8 months ago
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
Jan Smans, Bart Jacobs 0002, Frank Piessens
IIWAS
2008
15 years 8 months ago
Model-driven engineering of composite web services using UML-S
Based on top of Web protocols and XML language, Web services are emerging as a framework to provide applicationto-application interaction. An important challenge is their integrat...
Christophe Dumez, Jaafar Gaber, Maxime Wack
NIPS
2008
15 years 8 months ago
Partially Observed Maximum Entropy Discrimination Markov Networks
Learning graphical models with hidden variables can offer semantic insights to complex data and lead to salient structured predictors without relying on expensive, sometime unatta...
Jun Zhu, Eric P. Xing, Bo Zhang
WSC
2001
15 years 8 months ago
Discrete simulation development for a proposed shipyard steel processing facility
This paper describes the efforts required to convert conceptual designs and undefined processes for a proposed advanced steel processing shipyard facility into a discrete event si...
Daniel L. Williams, Daniel A. Finke, Deborah J. Me...
AIPT
1993
15 years 8 months ago
Automating the OSI to Internet Management Conversion Through the Use of an Object-Oriented Platform
OSI provides a powerful object-oriented management model that is infinitely scalable and extensible but is only now beginning to see widespread support. The Internet model has fo...
George Pavlou, Saleem N. Bhatti, Graham Knight