Sciweavers

2984 search results - page 468 / 597
» Method engineering process patterns
Sort
View
123
Voted
ICST
2009
IEEE
14 years 11 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
105
Voted
CCS
2011
ACM
14 years 1 months ago
On the vulnerability of FPGA bitstream encryption against power analysis attacks: extracting keys from xilinx Virtex-II FPGAs
Over the last two decades FPGAs have become central components for many advanced digital systems, e.g., video signal processing, network routers, data acquisition and military sys...
Amir Moradi, Alessandro Barenghi, Timo Kasper, Chr...
CIKM
2011
Springer
14 years 1 months ago
Coreference aware web object retrieval
As user demands become increasingly sophisticated, search engines today are competing in more than just returning document results from the Web. One area of competition is providi...
Jeffrey Dalton, Roi Blanco, Peter Mika
CHI
2004
ACM
16 years 2 months ago
Putting the users center stage: role playing and low-fi prototyping enable end users to design mobile systems
This paper sums up lessons learned from a sequence of cooperative design workshops where end users were enabled to design mobile systems through scenario building, role playing, a...
Dag Svanaes, Gry Seland
CDVE
2007
Springer
156views Visualization» more  CDVE 2007»
15 years 7 months ago
Semantic Web Services Discovery System with QoS for Enhanced Web Services Quality
Semantic Web Services are the key technology providing services for the users’ convenience in the semantic web environment. Many companies in various fields are researching and d...
Okkyung Choi, Heejai Choi, Zoonky Lee, Sangyong Ha...