4917 search results - page 437 / 984 » Software Engineering is Not Computer Science |
133
Voted
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
158
Voted
ACSC
2006
IEEE
15 years 10 months ago
2006
IEEE
The purpose of refactoring is to improve the quality of a software system by changing its internal design so that it is easier to understand or modify, or less prone to errors and...
144
click to vote
GG
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
135
click to vote
GI
2004
Springer
15 years 10 months ago
2004
Springer
: When traveling and visiting new places, tourists are mobile as they wander around and follow tours through cities and landscapes. Location-based mobile systems today typically pr...
GI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract: The eDonkey 2000 file-sharing network is one of the most successful peerto-peer file-sharing applications, especially in Germany. The network itself is a hybrid peer-to...