|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10535 occurrences of 5246 keywords
|
|
|
Results
Found 13581 publication records. Showing 13580 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
81 | Adam Jatowt, Yukiko Kawai, Satoshi Nakamura 0002, Yutaka Kidawara, Katsumi Tanaka |
Journey to the past: proposal of a framework for past web browser. |
Hypertext |
2006 |
DBLP DOI BibTeX RDF |
past web, past web browser, web archive |
51 | Mikko Apiola, Sonsoles López-Pernas, Mohammed Saqr, Lauri Malmi, Mats Daniels |
Exploring the Past, Present and Future of Computing Education Research: An Introduction. |
Past, Present and Future of Computing Education Research |
2023 |
DBLP DOI BibTeX RDF |
|
51 | Michaela Ochs, Tobias Hirmer, Katherina Past, Andreas Henrich |
Design-Focused Development of a Course Recommender System for Digital Study Planning. |
ADBIS (Short Papers) |
2023 |
DBLP DOI BibTeX RDF |
|
44 | David Lo 0001, Siau-Cheng Khoo, Chao Liu 0001 |
Mining past-time temporal rules from execution traces. |
WODA |
2008 |
DBLP DOI BibTeX RDF |
past-time temporal rules, data mining, dynamic analysis, specification mining |
41 | Boon Toh Low, H. C. Lui, Ah-Hwee Tan, H. H. Teh |
Connectionist Expert System with Adaptive Learning Capability. |
IEEE Trans. Knowl. Data Eng. |
1991 |
DBLP DOI BibTeX RDF |
adaptive learning capability, neural network expert system, adaptive connectionist expert system, past experience, neural logic network, pattern processing, logical inferencing, pattern matching ACES, rule inferencing ACES, past examples, neural logic network, pattern recognition, expert systems, adaptive systems, neural nets, inference mechanisms |
41 | Mats Daniels, Lauri Malmi, Arnold Pears, Simon |
What is Computing Education Research (CER)? |
Past, Present and Future of Computing Education Research |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Mikko Apiola, Mohammed Saqr, Sonsoles López-Pernas |
The Hands that Made Computing Education Research: Top Authors, Networks, Collaboration and Newcomers. |
Past, Present and Future of Computing Education Research |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Simon, Judy Sheard, Andrew Luxton-Reilly, Claudia Szabo |
Computing Education Research in Australasia. |
Past, Present and Future of Computing Education Research |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Mikko Apiola, Mohammed Saqr, Sonsoles López-Pernas |
The Evolving Themes of Computing Education Research: Trends, Topic Models, and Emerging Research. |
Past, Present and Future of Computing Education Research |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Mats Daniels, Anders Berglund, Arnold Pears |
A Case Study: The Uppsala Computing Education Research Group (UpCERG). |
Past, Present and Future of Computing Education Research |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Sonsoles López-Pernas, Mohammed Saqr, Mikko Apiola |
Scientometrics: A Concise Introduction and a Detailed Methodology for Mapping the Scientific Field of Computing Education Research. |
Past, Present and Future of Computing Education Research |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Lauri Malmi, Arto Hellas, Petri Ihantola, Ville Isomöttönen, Ilkka Jormanainen, Terhi Kilamo, Antti Knutas, Ari Korhonen, Mikko-Jussi Laakso, Sonsoles López-Pernas, Timo Poranen, Tapio Salakoski, Jarkko Suhonen |
Computing Education Research in Finland. |
Past, Present and Future of Computing Education Research |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Lauri Malmi, Jane E. Sinclair, Judy Sheard, Simon, Päivi Kinnunen |
The Evolution of Computing Education Research: A Meta-Analytic Perspective. |
Past, Present and Future of Computing Education Research |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Arnold Pears, Mats Daniels, Anders Berglund |
Theory and Approaches to Computing Education Research. |
Past, Present and Future of Computing Education Research |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Michal Armoni, Judith Gal-Ezer |
Computer Science Education Research in Israel. |
Past, Present and Future of Computing Education Research |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Friday Joseph Agbo, Maria N. Ntinda, Sonsoles López-Pernas, Mohammed Saqr, Mikko Apiola |
Computing Education Research in the Global South. |
Past, Present and Future of Computing Education Research |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Robert McCartney, Kate Sanders 0001 |
ITiCSE Working Groups as an Engine for Community-Building. |
Past, Present and Future of Computing Education Research |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Brett A. Becker, Steven Bradley, Joseph Maguire 0001, Michaela Black, Tom Crick, Mohammed Saqr, Sue Sentance, Keith Quille |
Computing Education Research in the UK & Ireland. |
Past, Present and Future of Computing Education Research |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Maria N. Ntinda, Mikko Apiola, Erkki Sutinen |
Future Technology Lab: A Plug-in Campus as an Agent of Change for Computing Education Research in the Global South. |
Past, Present and Future of Computing Education Research |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Mikko Apiola, Sonsoles López-Pernas, Mohammed Saqr |
The Venues that Shaped Computing Education Research: Dissemination Under the Lens. |
Past, Present and Future of Computing Education Research |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Luis Morales-Navarro, Yasmin B. Kafai |
Conceptualizing Approaches to Critical Computing Education: Inquiry, Design, and Reimagination. |
Past, Present and Future of Computing Education Research |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Mohammed Saqr, Sonsoles López-Pernas, Mikko Apiola |
Capturing the Impact and the Chatter Around Computing Education Research Beyond Academia in Social Media, Patents, and Blogs. |
Past, Present and Future of Computing Education Research |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Valentina Dagiene, Mart Laanpere, Juris Borzovs |
Computing Education Research in Baltic Countries. |
Past, Present and Future of Computing Education Research |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Mei-Chun Wu, Feng-Yang Kuo |
An empirical investigation of habitual usage and past usage on technology acceptance evaluations and continuance intention. |
Data Base |
2008 |
DBLP DOI BibTeX RDF |
habit, habitual usage, past usage, self-perception, technology acceptance model, automaticity |
41 | Adam Jatowt, Yukiko Kawai, Satoshi Nakamura 0002, Yutaka Kidawara, Katsumi Tanaka |
A browser for browsing the past web. |
WWW |
2006 |
DBLP DOI BibTeX RDF |
past web, web archive browsing, web archives |
41 | Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila |
Simple Is Better: Efficient Bounded Model Checking for Past LTL. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
Past LTL, Bounded Model Checking, NuSMV |
37 | Suleyman Cetintas, Luo Si, Hao Yuan |
Learning from past queries for resource selection. |
CIKM |
2009 |
DBLP DOI BibTeX RDF |
past queries, resource selection, federated search |
37 | Germán Jairo Hernández, Kenneth Wilder, Fernando Niño, Julian Garcia |
Towards a self-stopping evolutionary algorithm using coupling from the past. |
GECCO |
2005 |
DBLP DOI BibTeX RDF |
coupling from the past, optimization, algorithms, evolutionary, stopping criteria |
37 | Nicolas Markey |
Past is for free: on the complexity of verifying linear temporal properties with past. |
Acta Informatica |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Dariusz Król 0001, Krzysztof Litwin |
Present Meets Past: Analysis of Internet Archive Quality. |
IEA/AIE |
2009 |
DBLP DOI BibTeX RDF |
past web pages, data quality, Web archive, Internet Archive |
34 | Kunihiro Nishimura, Michitaka Hirose |
The Study of Past Working History Visualization for Supporting Trial and Error Approach in Data Mining. |
HCI (8) |
2007 |
DBLP DOI BibTeX RDF |
Past Working History, Information Visualization, Web Visualization |
34 | Volker Weber |
On the Complexity of Branching-Time Logics. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
complexity of satisfiability, pebble automata, alternating tree automata, forgettable past, CTL, branching-time logic |
34 | Sumiyo Nishiguchi |
Covert Emotive Modality Is a Monster. |
JSAI |
2006 |
DBLP DOI BibTeX RDF |
monster, fake past, fake present, wide scope also, attitude |
33 | Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer |
Past Pushdown Timed Automata. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Konstantinos Psounis, Balaji Prabhakar |
Efficient randomized web-cache replacement schemes using samples from past eviction times. |
IEEE/ACM Trans. Netw. |
2002 |
DBLP DOI BibTeX RDF |
cache replacement scheme, past samples, World Wide Web (WWW), randomized algorithm, web caching |
30 | Peter Druschel, Antony I. T. Rowstron |
PAST: A large-scale, persistent peer-to-peer storage utility. |
HotOS |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Adam Jatowt, Yukiko Kawai, Katsumi Tanaka |
Visualizing historical content of web pages. |
WWW |
2008 |
DBLP DOI BibTeX RDF |
history summarization, page history visualization, past web, web archive |
27 | Ivana Mikic, Kohsia S. Huang, Mohan M. Trivedi |
Activity Monitoring and Summarization for an Intelligent Meeting Room. |
Workshop on Human Motion |
2000 |
DBLP DOI BibTeX RDF |
microphones, intelligent meeting room, multimodal sensor network, static cameras, interesting events, multi-person interactions, past-event reviews, active network control procedures, real-time system, summarization, active vision, cameras, arrays, intelligent environments, office automation, activity monitoring, microphone arrays, system specifications, integration framework, computerised monitoring, image processing equipment, office environment, active cameras |
27 | Zhong Su, HongJiang Zhang, Shaoping Ma |
Using Bayesian classifier in relevant feedback of image retrieval. |
ICTAI |
2000 |
DBLP DOI BibTeX RDF |
positive feedback examples, negative feedback examples, query space distribution, dibbling process, image penalization, retrieval refinement process, progressive learning capability, past feedback information, image retrieval, relevance feedback, relevance feedback, content-based image retrieval, image classification, content-based retrieval, Bayes methods, Bayesian classifier, query refinement |
27 | Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli |
A Decision Algorithm for Full Propositional Temporal Logic. |
CAV |
1993 |
DBLP DOI BibTeX RDF |
satisfiability checking, validity checking, past and future operators, incremental tableau, model checking, temporal logic, automatic verification |
27 | Shing-Chow Chan, Yu Wen, Ka-Leung Ho |
A robust past algorithm for subspace tracking in impulsive noise. |
IEEE Trans. Signal Process. |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Keita Goto, Noriko Hanakawa, Hajimu Iida |
Project Replayer - An Investigation Tool to Revisit Processes of Past Projects. |
SPW/ProSim |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Brad A. Myers, Scott E. Hudson, Randy F. Pausch |
Past, present, and future of user interface software tools. |
ACM Trans. Comput. Hum. Interact. |
2000 |
DBLP DOI BibTeX RDF |
event languages, toolkits, scripting languages, user interface software, interface builders, user interface development environments |
24 | François Bry, Tim Furche, Klara A. Weiand |
Web Queries: From a Web of Data to a Semantic Web. |
WISE |
2009 |
DBLP DOI BibTeX RDF |
based query languages, we give a summary of what we perceive as the main contributions of research and development on Web query languages in the past decade, This summary focuses specifically on what sets Web query languages apart from their predecessors for databases |
24 | Vijay Nagarajan, Rajiv Gupta 0001 |
ECMon: exposing cache events for monitoring. |
ISCA |
2009 |
DBLP DOI BibTeX RDF |
cache events, recording for replay, speculation past barriers |
24 | Jean-Michel Fourneau, Imène Kadi, Nihal Pekergin, Jérôme Vienne, Jean-Marc Vincent |
Perfect simulation and monotone stochastic bounds. |
VALUETOOLS |
2007 |
DBLP DOI BibTeX RDF |
coupling from the past, monotone Markov chains, stochastic bounds, perfect simulation |
24 | Christian McCrea |
Then, suddenly, I was moved: nostalgia and the media history of games. |
IE |
2007 |
DBLP BibTeX RDF |
Crary, Kittler, Rosen, arcades, materiality, transmedia, past, pastness |
24 | J. Unji Yamaguchi |
Some reflections on IT. |
Workshop on Universal Accessibility of Ubiquitous Computing |
2001 |
DBLP DOI BibTeX RDF |
learn from the past, multicultural-multilingual, multimedia triad reference system, sense of reality, universal accessibility |
23 | Katerina Raptopoulou, Michael Vassilakopoulos, Yannis Manolopoulos |
Efficient processing of past-future spatiotemporal queries. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
spatiotemporal databases / queries, moving objects |
23 | Antony I. T. Rowstron, Peter Druschel |
Storage Management and Caching in PAST, A Large-scale, Persistent Peer-to-peer Storage Utility. |
SOSP |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Mark Reynolds 0001 |
More Past Glories. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
temporal logic, automata, axiomatizations |
23 | Matthew Canton |
The presence table: a reactive surface for ambient connection. |
TEI |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Yaoyao Liu 0001, Yingying Li, Bernt Schiele, Qianru Sun |
Wakening Past Concepts without Past Data: Class-Incremental Learning from Online Placebos. |
WACV |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Yaoyao Liu 0001, Yingying Li, Bernt Schiele, Qianru Sun |
Wakening Past Concepts without Past Data: Class-Incremental Learning from Online Placebos. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Irem Atilgan, H. Irem Türkmen, M. Amaç Güvensan |
Towards Accurate Traffic Accident Detection: Developing Deep Learning Strategies with Distant Past, Recent Past, and Adjacency Features. |
ITSC |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Elena Marx, Eva Wittenberg |
Event structure predicts temporal interpretation of English and German past-under-past relative clauses. |
CogSci |
2022 |
DBLP BibTeX RDF |
|
21 | Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato |
Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker. |
TIME |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Sue Cranmer, Cathy Lewin |
Developing Inclusive Digital Pedagogies: Reflections on the Past, the Present and Future Directions. |
OCCE |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Mabel C. Chou, Chee-Khian Sim, Xue-Ming Yuan |
Policies for inventory models with product returns forecast from past demands and past sales. |
Ann. Oper. Res. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Krzysztof Sterenczak, Rafal Zaplata, Jaroslaw Wójcik, Bartlomiej Kraszewski, Milosz Mielcarek, Krzysztof Mitelsztedt, Malgorzata Bialczak, Grzegorz Krok, Lukasz Kuberski, Anna Markiewicz, Aneta Modzelewska, Karolina Parkitna, Zaneta Piasecka, Kamil Pilch, Karol Rzeczycki, Rafal Sadkowski, Martyna Wietecha, Piotr Rysiak, Klaus von Gadow, Chris J. Cieszewski |
ALS-Based Detection of Past Human Activities in the Białowieża Forest - New Evidence of Unknown Remains of Past Agricultural Systems. |
Remote. Sens. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Ruth Lee, Christoph Hoerl, Patrick Burns, Alison S. Fernandes, Patrick A. O'Connor, Teresa McCormack |
Pain in the Past and Pleasure in the Future: The Development of Past-Future Preferences for Hedonic Goods. |
Cogn. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Shivangi Narayan |
Past, present, and past as present in India's predictive policing. |
XRDS |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Kenneth Thibodeau |
The Construction of the Past: Towards a Theory for Knowing the Past. |
Inf. |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Eoin Woods |
The past, present and future of technical debt: learning from the past to prepare for the future. |
TechDebt@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Leandro L. Minku, Xin Yao 0001 |
Which models of the past are relevant to the present? A software effort estimation approach to exploiting useful past models. |
Autom. Softw. Eng. |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Alfonso Ippolito, Cristiana Bartolomei, Martina Attenni |
The past is never dead. It's not even past. 3D models for the knowledge of cultural heritage. |
VSMM |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Feng Li, Yan Chen 0019, Zhoujun Li 0001 |
Learning from the past: Improving news summarization with past news articles. |
IALP |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Dan Olteanu |
Factorized Databases: Past and Future Past. |
AMW |
2015 |
DBLP BibTeX RDF |
|
21 | Iske Bakker, Lucy J. MacGregor, Friedemann Pulvermüller, Yury Shtyrov |
Past tense in the brain's time: Neurophysiological evidence for dual-route processing of past-tense verbs. |
NeuroImage |
2013 |
DBLP DOI BibTeX RDF |
|
21 | H. Joel Trusell |
Overview for Reflections and Reviews of Past Predictions [Reflections and Reviews of Past Predictions]. |
Proc. IEEE |
2012 |
DBLP DOI BibTeX RDF |
|
21 | James E. Brittain |
Scanning My Past: Some Personal Reflections Stimulated by the Proceedings Centennial [Scanning the Past]. |
Proc. IEEE |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Anna Shtok, Gideon Dror, Yoelle Maarek, Idan Szpektor |
Learning from the past: answering new questions with past answers. |
WWW |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Ashley M. Clark, Steven W. Holloway |
'The Past Is Never Dead. It's Not Even Past': The Challenge of Data Provenance in the e-Humanities. |
DH |
2012 |
DBLP BibTeX RDF |
|
21 | Shona Leitch, Matthew J. Warren |
ETHICS: The Past, Present and Future of Socio-Technical Systems Design. |
HC |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Matthew Swinarski, Eric Jackson, Rajiv Kishore |
Conceptualization and Measurement of the Capability Maturity Model (CMM): An Examination of Past Practices and Suggestions for Future Applications. |
AMCIS |
2008 |
DBLP BibTeX RDF |
|
21 | Peter Meso |
Learning from the Past & Charting the Future of IS Research on Africa: Reflections on Information Systems Research on Africa within Western Information Systems Journals. |
AMCIS |
2008 |
DBLP BibTeX RDF |
|
21 | Lene Koch |
Past Futures: On the Conceptual History of Eugenics - a Social Technology of the Past. |
Technol. Anal. Strateg. Manag. |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Alankar Karol, Mary-Anne Williams, Steve Elliot |
The Evolution of IS: Treasury Decision Support & Management Past, Present & Future. |
IFIP TC8 WCC ISS |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Nicolas Markey |
Past is for Free: on the Complexity of Verifying Linear Temporal Properties with Past. |
EXPRESS |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Patrick H. Winston |
President's Panel: Past Present and Future Presidents Look at the Past Present and Future. |
AAAI |
1986 |
DBLP BibTeX RDF |
|
21 | Jiaqi Zhu, Hanpin Wang, Zhongyuan Xu |
A New Temporal Logic CTL[k-QDDC] and Its Verification. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
branching past, model checking, quantitative |
21 | Adam Jatowt, Yukiko Kawai, Hiroaki Ohshima, Katsumi Tanaka |
What can history tell us?: towards different models of interaction with document histories. |
Hypertext |
2008 |
DBLP DOI BibTeX RDF |
document history, past web, versioning, archiving, time travel |
21 | Duncan J. Murdoch, Glen Takahara |
Perfect sampling for queues and network models. |
ACM Trans. Model. Comput. Simul. |
2006 |
DBLP DOI BibTeX RDF |
Coupling from the past, networks, queues, perfect simulation |
21 | Jürgen Dingel, Hongzhi Liang |
Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
TXL, VeriSoft, past-time linear temporal logic, software model checking, safety analysis, source code transformation, run-time monitoring |
21 | Anne Philippe, Christian P. Robert |
Perfect simulation of positive Gaussian distributions. |
Stat. Comput. |
2003 |
DBLP DOI BibTeX RDF |
coupling from the past, slice sampling, stochastic monotonicity, accept reject |
21 | Falk Scholer, Hugh E. Williams |
Query association for effective retrieval. |
CIKM |
2002 |
DBLP DOI BibTeX RDF |
past queries, query association, web search, summarisation, relevance assessment |
20 | Frédéric Pluquet, Stefan Langerman, Roel Wuyts |
Executing code in the past: efficient in-memory object graph versioning. |
OOPSLA |
2009 |
DBLP DOI BibTeX RDF |
object-oriented programming, language design, object versioning |
20 | Elizabeth K. Hawthorne |
Visions of a future ... without forgetting the past. |
ACM SIGCSE Bull. |
2007 |
DBLP DOI BibTeX RDF |
ACM |
20 | Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro |
The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
bi-infinite time, satisfiability checking, temporal logic, bounded model checking |
20 | Abigail Sellen, Andrew Fogg, Mike Aitken, Steve Hodges 0001, Carsten Rother, Kenneth R. Wood |
Do life-logging technologies support memory for the past?: an experimental study using sensecam. |
CHI |
2007 |
DBLP DOI BibTeX RDF |
episodic or autobiographical memory, personal digital archives, images, life-logging, capture, SenseCam |
20 | Jun-Seok Lim, Joonil Song, Yonggook Pyeon |
A Prewhitening RLS Projection Alternated Subspace Tracking (PAST) Algorithm. |
ISNN (1) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Ashish Gehani, Surendar Chandra |
PAST: Probabilistic Authentication of Sensor Timestamps. |
ACSAC |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Mouna Saad, Leila Jemni Ben Ayed |
Introducing Dynamic Properties with Past Temporal Operators in the B Refinement. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Paul Gastin, Madhavan Mukund, K. Narayan Kumar |
Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz Traces. |
MFCS |
2003 |
DBLP DOI BibTeX RDF |
concurrency, Temporal logics, Mazurkiewicz traces |
20 | Marco Benedetti, Alessandro Cimatti |
Bounded Model Checking for Past LTL. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Ioannis Stamelos, Ioannis Refanidis |
Decision Making Based on Past Problem Cases. |
SETN |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Barry W. Boehm |
A view of 20th and 21st century software engineering. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
software futures, software history, software engineering |
17 | Christian Dax, Felix Klaedtke, Martin Lange |
On Regular Temporal Logics with Past, . |
ICALP (2) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | André Ludwig, Marek Kowalkiewicz |
Supporting Service Level Agreement Creation with Past Service Behavior Data. |
BIS (Workshops) |
2009 |
DBLP DOI BibTeX RDF |
Dynamic Service Profiling, Service behavior, Service Level Agreement, Contracting |
17 | Zhengbin Dong, Wenjie Wu, Xiujun Ma, Kunqing Xie, Fengjun Jin |
Mining the Structure and Evolution of the Airport Network of China over the Past Twenty Years. |
ADMA |
2009 |
DBLP DOI BibTeX RDF |
Airport Network of China, ANC, betweeness centrality, network structure, network diameter, degree distribution, network evolution, clustering coefficient |
Displaying result #1 - #100 of 13580 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|