2776 search results - page 536 / 556 » System-Level Abstraction Semantics |
164
click to vote
ECWEB
2004
Springer
15 years 11 months ago
2004
Springer
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...
166
click to vote
LATIN
2004
Springer
15 years 11 months ago
2004
Springer
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 ...
137
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
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...
150
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract— One key component of recent pricing-based congestion control schemes is an algorithm for probabilistically setting the Explicit Congestion Notification bit at routers ...
162
click to vote
RTAS
2003
IEEE
15 years 11 months ago
2003
IEEE
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...