3514 search results - page 364 / 703 » Evolving Specification Engineering |
174
click to vote
ECMDAFA
2009
Springer
15 years 4 months ago
2009
Springer
Textual Syntax (TS) as a form of model representation has made its way to the Model-Driven Software Development community and is considered a viable alternative to graphical repres...
170
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Recognizing people in images is one of the foremost challenges in computer vision. It is important to remember that consumer photography has a highly social aspect. The photograph...
204
click to vote
CSCW
2011
ACM
15 years 1 months ago
2011
ACM
Significant cultural differences persist between East and West. Software systems that have been proven to operate efficiently within one culture can fail in the context of the oth...
241
click to vote
SCN
2011
Springer
15 years 1 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
208
click to vote
TLSDKCS
2010
15 years 1 months ago
2010
Abstract. With increasing volumes of data, much effort has been devoted to finding the most suitable answer to an information need. However, in many domains, the question whether a...