1316 search results - page 185 / 264 » Open Issues in Industrial Use Case Modeling |
140
Voted
ECCC
2008
15 years 4 months ago
2008
Any proof of P = NP will have to overcome two barriers: relativization and natural proofs. Yet over the last decade, we have seen circuit lower bounds (for example, that PP does n...
150
click to vote
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
WE practices lack an impact on industry, partly due to a WE field that is not quality-aware. In fact, it is difficult to find WE methodologies that pay explicit attention to qualit...
134
click to vote
DNIS
2005
Springer
15 years 9 months ago
2005
Springer
: A Peer-to-peer Data Network (PDN) is an open and evolving society of peer nodes that assemble into a network to share their data for mutual benefit. PDNs are enabled by distribu...
140
click to vote
IFM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
128
click to vote
JNW
2008
15 years 4 months ago
2008
Service discovery and its automation are some of the key features that a large scale, open distributed system must provide so that clients and users may take advantage of shared re...