Sciweavers

2200 search results - page 216 / 440
» Programming norm change
Sort
View
ITP
2010
178views Mathematics» more  ITP 2010»
15 years 5 months ago
Interactive Termination Proofs Using Termination Cores
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...
Panagiotis Manolios, Daron Vroon
140
Voted
ATMOS
2008
124views Optimization» more  ATMOS 2008»
15 years 5 months ago
Simultaneous Network Line Planning and Traffic Assignment
One of the basic problems in strategic planning of public and rail transport is the line planning problem to find a system of lines and its associated frequencies. The objectives o...
Karl Nachtigall, Karl Jerosch
99
Voted
BCSHCI
2007
15 years 5 months ago
HCI 2.0?: usability meets web 2.0
The web has already dramatically changed society, but the web itself is changing. Web2.0 sites mean that users have become the producers of content and the designers of each other...
Alan J. Dix, Laura Cowen
118
Voted
LISA
2004
15 years 5 months ago
Who Moved My Data? A Backup Tracking System for Dynamic Workstation Environments
Periodic data backup is a system administration requirement that has changed as wireless machines have altered the fundamental structure of networks. These changes necessitate a c...
Gregory Pluta, Larry Brumbaugh, William Yurcik, Jo...
106
Voted
ENTCS
2006
118views more  ENTCS 2006»
15 years 3 months ago
The Language Evolver Lever - Tool Demonstration -
Since many domains are constantly evolving, the associated domain specific languages (DSL) inevitably have to evolve too, to retain their value. But the evolution of a DSL can be ...
Elmar Jürgens, Markus Pizka