1937 search results - page 307 / 388 » Starting B Specifications from Use Cases |
131
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
The growing popularity of aspect-oriented languages, such as AspectJ, and of corresponding design approaches, makes it important to learn how best to modularize programs in which ...
130
click to vote
SODA
2010
ACM
16 years 2 months ago
2010
ACM
We study the dynamic membership problem, one of the most fundamental data structure problems, in the cell probe model with an arbitrary cell size. We consider a cell probe model e...
144
click to vote
ESOP
2010
Springer
16 years 2 months ago
2010
Springer
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
132
click to vote
HICSS
2010
IEEE
15 years 11 months ago
2010
IEEE
The climate change has challenged urban living: As an omnipresent force nature sets the agenda for urban life. Using stakeholder theory for conceptualizing urban life, we install ...
202
click to vote
SAMT
2007
Springer
15 years 10 months ago
2007
Springer
Video summarization approaches have various fields of application, specifically related to organizing, browsing and accessing large video databases. In this paper we propose and ev...