7167 search results - page 305 / 1434 » A Technique for Invariant Generation |
204
click to vote
ER
2003
Springer
16 years 21 days ago
2003
Springer
Many Internet-based applications have adopted XML as the standard data exchange format. These XML data are typically stored in its native form, thus creating the need to present XM...
177
click to vote
HICSS
2002
IEEE
16 years 13 days ago
2002
IEEE
Researchers have sought a better understanding of creativity for more than a century and the resulting investigations have shed a great deal of light on the subject of creativity....
255
click to vote
WACV
2002
IEEE
16 years 11 days ago
2002
IEEE
As the threat of terrorism becomes more prevalent, the need for technological innovations for tighter security rises. Some of the areas where security needs to be increased are at...
196
Voted
ESWS
2010
Springer
16 years 8 days ago
2010
Springer
Abstract. In this paper we present a concrete case study in which semantic technology has been used to enable a territorial innovation. Firstly, we describe a scenario of the ICT r...
194
Voted
ICSE
2010
IEEE-ACM
16 years 8 days ago
2010
IEEE-ACM
Many languages for software architectures have been proposed, each dealing with different stakeholder concerns, operating at different levels of abstraction and with different deg...