3750 search results - page 504 / 750 » Timed Automata Patterns |
137
Voted
MSR
2005
ACM
15 years 9 months ago
2005
ACM
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...
MSWIM
2005
ACM
15 years 9 months ago
2005
ACM
This paper compares, through analysis and simulation, a number of multichannel MAC protocols for wireless networks. We first classify these protocols into 4 categories based on t...
120
Voted
IBPRIA
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a method for the detection of multiple concentric circles which is based on the Hough Transform (HT). In order to reduce time and memory space the concentric ci...
120
Voted
ICAPR
2005
Springer
15 years 9 months ago
2005
Springer
Histopathological tissue analysis by microscopy is a process that is subjective, prone to inter- and intra-observer variation. This, along with the problems associated with verbali...
122
Voted
WEBI
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a Domain Modeling System, which builds a domain model framework for adaptive Web systems. It records concepts and the relationships among them and represents t...