71228 search results - page 13811 / 14246 » Algorithms |
215
click to vote
AIRWEB
2008
Springer
15 years 8 months ago
2008
Springer
The annotation of web sites in social bookmarking systems has become a popular way to manage and find information on the web. The community structure of such systems attracts spam...
172
click to vote
ALGOSENSORS
2008
Springer
15 years 8 months ago
2008
Springer
With the current progress in robot technology and related areas, sophisticated moving and sensing capabilities are at hand to design robots capable of solving seemingly complex tas...
234
click to vote
AOSD
2008
ACM
15 years 8 months ago
2008
ACM
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....
180
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...
205
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we address the class of bounded Petri nets with stopwatches (SwPNs), which is an extension of T-time Petri nets (TPNs) where time is associated with transitions. Con...