5214 search results - page 800 / 1043 » The Online Specialization Problem |
175
click to vote
KBSE
2005
IEEE
16 years 7 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
147
click to vote
WECWIS
2005
IEEE
16 years 7 days ago
2005
IEEE
Today organizations face increasingly dynamic and competitive environments. Business agility aims to address these challenges. In this contribution, we aim to increase understandi...
204
click to vote
WIOPT
2005
IEEE
16 years 7 days ago
2005
IEEE
We consider the problem of transmission scheduling of data over a wireless fading channel with hard deadline constraints. Our system consists of N users, each with a fixed amount...
172
click to vote
SAC
2005
ACM
16 years 7 days ago
2005
ACM
Although in recent years the concept of leasing has become more and more popular in the field of distributed object-oriented systems, it has not yet been incorporated in the curre...
170
click to vote
AIIA
2005
Springer
16 years 6 days ago
2005
Springer
We designed and implemented a software system, called WebCrow, that represents the first solver for Italian crosswords and the first system that tackles a language game using the...