Titlebook: SOFSEM 2010: Theory and Practice of Computer Science; 36th Conference on C Jan Leeuwen,Anca Muscholl,Bernhard Rumpe Conference proceedings

Conspiracy

Research Issues in the Automated Testing of Ajax Applicationsown as Asynchronous JavaScript and XML (.). With ., the classical model of browsing a series of pages is replaced by a JavaScript engine (running in the browser) taking control of user interaction, exchanging information updates with the web server instead of requesting the complete next page. The b

音的強(qiáng)弱

Decimate

Physiatrist

Clock Synchronization: Open Problems in Theory and Practicenization is to provide the constituent parts of a distributed system with a common notion of time. While the problem of synchronizing clocks in distributed systems has already received considerable attention from researchers and practitioners alike, we believe that there are many fascinating problem

Foreshadow

Regret Minimization and Job Schedulingcan guarantee, for a single decision maker, a?near optimal behavior under fairly adversarial assumptions. I will discuss a?recent extensions of the classical regret minimization model, which enable to handle many different settings related to job scheduling, and guarantee the near optimal online beh

COM

Lessons in Software Evolution Learned by Listening to Smalltalklearly need software systems to be more dynamic, compositional and model-centric, but instead we continue to build systems that are static, baroque and inflexible. How can we better build . systems in the future? To answer this question, we propose to look back to one of the most successful systems

transdermal

The Web of Things: Extending the Web into the Real Worldations. This paper looks at the potential of Web technologies for reducing the complexity for developing such applications, allowing millions of developers to extend the Web out of the browser and into the real world. This is achieved through mechanisms to provide web run times with access to rich m

Radiation

Model-Driven Software Product Line Testing: An Integrated Approachf features. Feature Models (FMs) are often used to model commonalities and variabilities within a Software Product Line (SPL). Due to their variability, testing SPLs is very challenging and many different approaches exist. Classification Trees (CTs) are a well-known and in practice popular black-box

緊張過度

密碼