1575 search results - page 181 / 315 » Constraining Software Evolution |
FOSSACS
2005
Springer
15 years 3 months ago
2005
Springer
A timed extension of π-calculus with a transaction construct – the calculus webπ – is studied. The underlying model of webπ relies on networks of processes; time proceeds as...
ICDCSW
2003
IEEE
15 years 3 months ago
2003
IEEE
To address the need for highly configurable and customizable distributed systems, researchers and practitioners are investigating various innovative approaches. One of the promisi...
ICMLA
2008
14 years 11 months ago
2008
This paper presents a software system that is able to generate crosswords with no human intervention including definition generation and crossword compilation. In particular, the ...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Refactoring is a change made to the internal structure of software to make it easier to understand and cheaper to modify without changing its observable behaviour. A database refa...
CN
2007
14 years 10 months ago
2007
Since the turn of the century, smart card technology has pushed its borders both on the high end to integrate new functionalities (e.g., networking) and on the low end to adapt to...