2276 search results - page 360 / 456 » Aspect-Oriented Requirements Engineering for Component-Based... |
140
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—A central challenge facing sensor network research and development is the difficulty in providing effective autonomous management capability. This is due to a large number of p...
144
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
133
click to vote
WWW
2003
ACM
16 years 4 months ago
2003
ACM
The vision of the Semantic Web can only be realized through proliferation of well-known ontologies describing different domains. To enable interoperability in the Semantic Web, it...
234
Voted
POPL
2008
ACM
16 years 4 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
124
click to vote
ECBS
2009
IEEE
15 years 7 months ago
2009
IEEE
Future space missions such as the Mars Science Laboratory and Project Constellation suggest the engineering of some of the most complex man-rated software systems. The present pro...