575 search results - page 20 / 115 » Wichita State University |
SAINT
2005
IEEE
14 years 1 months ago
2005
IEEE
IPv6 is now a mature standard, with the core protocols defined by the Internet Engineering Task Force (IETF). Over the past two years a number of national research networks and a...
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
traction for Polymorphic Pi-Calculus Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, USA 3 University of Su...
FOSSACS
2004
Springer
14 years 1 months ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
ISESE
2003
IEEE
14 years 1 months ago
2003
IEEE
Software Engineering studies run in classroom environments can and have made important contributions to empirical software engineering. Because the goal of such studies is to impr...
ERSHOV
2001
Springer
14 years 8 days ago
2001
Springer
We argue that there is a gap between software engineering cultivated in the universities and industrial software development. We believe that it is possible to get academia and ind...