4917 search results - page 391 / 984 » Software Engineering is Not Computer Science |
157
click to vote
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Future communication and computation devices require mechanisms for on-the-fly reconfiguration in their protocol stack to operate in different situations and networks. Th...
105
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
Programs written in point-free form express computation purely in terms of functions. Such programs are especially amenable to local transformation. In this paper, we describe a pr...
128
click to vote
ARCS
2006
Springer
15 years 8 months ago
2006
Springer
: This paper presents the study of modifying a legacy single-issue DSP processor to provide real-time processing capacity for emerging multimedia applications. The latest video com...
124
click to vote
EUROMICRO
2004
IEEE
15 years 8 months ago
2004
IEEE
We illustrate a symbiotic relationship between existing model oriented specification techniques and web services. Through the formal re-design of a platform for mobile team collab...
115
click to vote
FSTTCS
2000
Springer
15 years 7 months ago
2000
Springer
This paper reports on results concerning the combination of non-standard semantics via interpreters. We define what a semantics combination means and identify under which condition...