7380 search results - page 801 / 1476 » Engineering Software Intensive Systems |
176
click to vote
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
The SML-like module systems are small typed languages of their own. As is, one would expect a proof of their soundness following from a proof of subject reduction. Unfortunately, t...
186
click to vote
EUROSYS
2006
ACM
15 years 11 months ago
2006
ACM
This paper presents a connection handoff interface between the operating system and the network interface. Using this interface, the operating system can offload a subset of TCP c...
201
click to vote
AVI
2000
15 years 8 months ago
2000
A multiple view system uses two or more distinct views to support the investigation of a single conceptual entity. Many such systems exist, ranging from computer-aided design (CAD...
246
click to vote
SIGSOFT
2009
ACM
16 years 8 months ago
2009
ACM
A bug report is typically assigned to a single developer who is then responsible for fixing the bug. In Mozilla and Eclipse, between 37%-44% of bug reports are "tossed" ...
187
click to vote
ISORC
2005
IEEE
16 years 1 months ago
2005
IEEE
Service-orientation has been proposed as a way of facilitating the development and integration of increasingly complex and heterogeneous system components. However, there are many...