2384 search results - page 395 / 477 » Analyzing Requirements Engineering Processes: A Case Study |
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
Mechanism design (MD) has recently become a very popular approach in the design of distributed systems of autonomous agents. A key assumption required for the application of MD is...
MR
2010
14 years 10 months ago
2010
Industrial applications often require failure analysis methods working non-destructively, enabling either a rapid quality control or fault isolation and defect localization prior ...
LCTRTS
2005
Springer
15 years 5 months ago
2005
Springer
Mobile computing based upon wireless technology as the interconnect and PDAs, Web-enabled cell phones etc. as the end devices provide a rich infrastructure for anywhere, anytime i...
197
click to vote
SIGIR
2011
ACM
14 years 2 months ago
2011
ACM
Large search engines process thousands of queries per second over billions of documents, making query processing a major performance bottleneck. An important class of optimization...
SIGSOFT
2007
ACM
16 years 18 days 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...