7318 search results - page 1110 / 1464 » Models of real-valued measurability |
157
click to vote
ISPW
2005
IEEE
16 years 14 days ago
2005
IEEE
A process defines the way activities are organized, managed, measured, supported and improved to reach a goal. It has been shown, 15 years ago [1] that processes are software too; ...
182
click to vote
MSWIM
2005
ACM
16 years 13 days ago
2005
ACM
The performance of mobile ad hoc networks can be influenced by numerous factors, including protocol design at every layer; parameter settings such as retransmission limits and ti...
204
click to vote
ISSTA
2004
ACM
16 years 9 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
199
click to vote
MOBICOM
2004
ACM
16 years 9 days ago
2004
ACM
Interactive communications among nodes in Vehicular Ad Hoc Networks (VANET) and the safety-oriented nature of many VANET applications necessitate a robust security framework. An a...
205
click to vote
SIGIR
2004
ACM
16 years 9 days ago
2004
ACM
Many museum and library archives are digitizing their large collections of handwritten historical manuscripts to enable public access to them. These collections are only available...