Sciweavers

203 search results - page 36 / 41
» Extended Path Expressions for XML
Sort
View
ECWEB
2004
Springer
148views ECommerce» more  ECWEB 2004»
14 years 29 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...
CC
2004
Springer
177views System Software» more  CC 2004»
14 years 1 months ago
Value-Based Partial Redundancy Elimination
Abstract. Partial redundancy elimination (PRE) is a program transformation that identifies and eliminates expressions that are redundant on at least one (but not necessarily all) ...
Thomas VanDrunen, Antony L. Hosking
CN
1999
163views more  CN 1999»
13 years 7 months ago
Operational Semantics for MSC'96
Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of ...
Sjouke Mauw, Michel A. Reniers
AGENTS
1997
Springer
13 years 11 months ago
Neo: Learning Conceptual Knowledge by Sensorimotor Interaction with an Environment
Recent developments in philosophy, linguistics, developmental psychology and arti cial intelligence make it possible to envision a developmental path for an arti cial agent, groun...
Paul R. Cohen, Marc S. Atkin, Tim Oates, Carole R....
TIT
2011
113views more  TIT 2011»
13 years 2 months ago
Many-Sources Large Deviations for Max-Weight Scheduling
In this paper, we establish a many-sources large deviations principle (LDP) for the stationary workload of a multi-queue single-server system with simplex capacity, operated under...
Vijay G. Subramanian, Tara Javidi, Somsak Kittipiy...