8190 search results - page 1323 / 1638 » From Timed to Hybrid Systems |
205
click to vote
AIRWEB
2007
Springer
16 years 1 months ago
2007
Springer
This paper focuses on spam blog (splog) detection. Blogs are highly popular, new media social communication mechanisms. The presence of splogs degrades blog search results as well...
197
click to vote
CMMR
2007
Springer
16 years 29 days ago
2007
Springer
This paper describes recent work on a large-scale, interactive theater performance entitled Schwelle as a platform to pose critical questions around the conception, design and imp...
188
click to vote
ECLIPSE
2006
ACM
16 years 23 days ago
2006
ACM
As programs evolve, newly added functionality sometimes no longer aligns with the original design, ending up scattered across the software system. Aspect mining tries to identify ...
227
click to vote
HASKELL
2006
ACM
16 years 23 days ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...
170
click to vote
ISSTA
2006
ACM
16 years 23 days ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...