1931 search results - page 215 / 387 » Why we blog |
194
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
190
click to vote
JUCS
2006
15 years 6 months ago
2006
Abstract: Recently a growing demand has arisen for methods for the development of smalland medium scale Web Information Systems (WIS). Web applications are being built in a rapidly...
220
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
The boom of product review websites, blogs and forums on the web has attracted many research efforts on opinion mining. Recently, there was a growing interest in the finergrained ...
225
click to vote
EDOC
2008
IEEE
16 years 1 months ago
2008
IEEE
: “Web 2.0” and “cloud computing” are revolutionizing the way IT infrastructure is accessed and managed. Web 2.0 technologies such as blogs, wikis and social networking pla...
179
click to vote
SMC
2007
IEEE
16 years 28 days ago
2007
IEEE
— This paper presents the prototype of an expert peering system for information exchange in the knowledge society. Our system realizes an intelligent, real-time search engine for...