3799 search results - page 614 / 760 » An Engineering Approach to Formal Methods |
141
click to vote
COMSWARE
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—In this paper we propose two polling based scheduling schemes for applications based on TCP in a multipointto-point IEEE 802.16 network. The first scheme uses TCP conge...
148
Voted
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
— Technologies to develop scaffolds with controlled pore layout and porosity have great significance in tissue engineering. As one method of scaffold fabrication, porogen leachin...
189
click to vote
MOBIQUITOUS
2008
IEEE
15 years 11 months ago
2008
IEEE
A fundamental requirement for autonomic computing is to be able to automatically infer how human users react in similar contextual conditions. This paper examines the problem of a...
157
click to vote
ASWEC
2007
IEEE
15 years 11 months ago
2007
IEEE
Service Oriented Computing (SOC) is a paradigm for building new software applications from existing loosely-coupled services. During service composition, services available to pla...
132
click to vote
CGO
2007
IEEE
15 years 11 months ago
2007
IEEE
Program-specific or function-specific optimization phase sequences are universally accepted to achieve better overall performance than any fixed optimization phase ordering. A ...