585 search results - page 91 / 117 » Structured Formal Development in Isabelle |
107
click to vote
CERA
2002
14 years 11 months ago
2002
: Many industries are shifting from mass production to mass customization, which demands quick response to the needs of individual customers with high quality and low costs. The de...
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
Information systems (IS) researchers have made considerable progress on defining and formalizing structured methods to support collaborative development of information systems. Co...
183
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
We study the problem of efficiently computing diverse query results in online shopping applications, where users specify queries through a form interface that allows a mix of stru...
SIGSOFT
2009
ACM
16 years 15 days ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
SPAA
2009
ACM
16 years 9 days ago
2009
ACM
Transactional memory (TM) is a promising approach for designing concurrent data structures, and it is essential to develop better understanding of the formal properties that can b...