9110 search results - page 1599 / 1822 » Formally-Based Design Evaluation |
147
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Engineering distributed systems is a challenging activity. This is partly due to the intrinsic complexity of distributed systems, and partly due to the practical obstacles that de...
147
click to vote
ANCS
2005
ACM
15 years 9 months ago
2005
ACM
Large-scale applications require the efficient exchange of data across their distributed components, including data from heterogeneous sources and to widely varying clients. Inher...
187
click to vote
AOSD
2005
ACM
15 years 9 months ago
2005
ACM
C applications, in particular those using operating system level services, frequently comprise multiple crosscutting concerns: network protocols and security are typical examples ...
140
click to vote
JCDL
2005
ACM
15 years 9 months ago
2005
ACM
Most digital libraries (DLs) necessarily focus on the complex issues that arise when library collections are freed from their physical anchors in buildings and on paper. Typical i...
129
click to vote
MOBICOM
2005
ACM
15 years 9 months ago
2005
ACM
Over the past few years, wireless networking technologies have made vast forays into our daily lives. Today, one can find 802.11 hardware and other personal wireless technology e...