Sciweavers

2696 search results - page 520 / 540
» Semantic Abstraction and Anaphora
Sort
View
ECWEB
2004
Springer
148views ECommerce» more  ECWEB 2004»
16 years 1 days ago
OCL-Constraints for UMM Business Collaborations
Abstract. Recently, a trend towards business processes in Business-toBusiness e-Commerce (B2B) is apparent. One of the most promising approaches is UN/CEFACT’s modeling methodolo...
Birgit Hofreiter, Christian Huemer, Werner Winiwar...
LATIN
2004
Springer
16 years 16 hour ago
Approximating the Expressive Power of Logics in Finite Models
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
Argimiro Arratia, Carlos E. Ortiz
HICSS
2003
IEEE
102views Biometrics» more  HICSS 2003»
15 years 12 months ago
Prototype-Matching System for Allocating Conference Papers
Conferences on applied research require more complicated taxonomy than traditional organization of conferences by tracks. A topic of a paper, submitted to a conference on the appl...
Antonina Kloptchenko, Barbro Back, Hannu Vanharant...
INFOCOM
2003
IEEE
15 years 12 months ago
Estimation of Congestion Price Using Probabilistic Packet Marking
Abstract— One key component of recent pricing-based congestion control schemes is an algorithm for probabilistically setting the Explicit Congestion Notification bit at routers ...
Micah Adler, Jin-yi Cai, Jonathan K. Shapiro, Dona...
RTAS
2003
IEEE
15 years 12 months ago
Modular Code Generation from Hybrid Automata based on Data Dependency
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
Jesung Kim, Insup Lee