Sciweavers

1805 search results - page 67 / 361
» A Theory of Closure Operators
Sort
View
116
Voted
INFOCOM
2003
IEEE
15 years 9 months ago
A new TCP/AQM for Stable Operation in Fast Networks
—This paper is aimed at designing a congestion control system that scales gracefully with network capacity, providing high utilization, low queueing delay, dynamic stability, and...
Fernando Paganini, Zhikui Wang, Steven H. Low, Joh...
142
Voted
IJAR
2007
86views more  IJAR 2007»
15 years 4 months ago
Non-deterministic semantics for logics with a consistency operator
In order to handle inconsistent knowledge bases in a reasonable way, one needs a logic which allows nontrivial inconsistent theories. Logics of this sort are called paraconsistent...
Arnon Avron
HICSS
2008
IEEE
96views Biometrics» more  HICSS 2008»
15 years 10 months ago
Towards a Framework for Evaluating Immersive Business Models: Evaluating Service Innovations in Second Life
Virtual worlds may be enabling technologies for the next generation of business models, practices and innovations in service. We situate our research within the field of service s...
Henry M. Kim, Kelly A. Lyons, Mary Ann Cunningham
116
Voted
FM
2005
Springer
99views Formal Methods» more  FM 2005»
15 years 9 months ago
Semantics of BPEL4WS-Like Fault and Compensation Handling
BPEL4WS is one of the most important business process modelling languages. One distinct feature of it is the fully programmable fault and compensation handling mechanism, which all...
Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Z...
CAV
2009
Springer
165views Hardware» more  CAV 2009»
15 years 8 months ago
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. The transformations should preserve the fu...
Sven Verdoolaege, Gerda Janssens, Maurice Bruynoog...