12670 search results - page 162 / 2534 » Requirements Modeling |
103
Voted
SIGCSE
2010
ACM
15 years 10 months ago
2010
ACM
The technique of scaling hardware performance through increasing the number of cores on a chip requires programmers to learn to write parallel code that can exploit this hardware....
127
Voted
ICALP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract A new unfolding approach to LTL model checking is presented, in which the model checking problem can be solved by direct inspection of a certain finite prefix. The techniq...
96
Voted
UM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present a study exploring the promise of developing computational systems to support the discovery and execution of opportunistic activities in mobile settings. We int...
145
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
A Web Application must have a precise semantics. In currently Web Engineering environments, this can be achieved either by specifying a Web Conceptual Schema, or by using a Semant...
114
click to vote
SDMW
2009
Springer
15 years 10 months ago
2009
Springer
Provenance access control has been recognized as one of the most important components in an enterprise-level provenance system. However, it has only received little attention in th...