|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 51 occurrences of 47 keywords
|
|
|
Results
Found 59 publication records. Showing 59 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
162 | Jing Gao 0006, Yuqing Lan, Maozhong Jin |
A Model of Third-Party Integration Testing Process for Foundation Software Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 1199-1204, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
101 | Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee |
Translating FSP into LOTOS and Networks of Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, pp. 558-578, 2007, Springer, 978-3-540-73209-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
82 | Hyungill Kim, Sungyoung Lee, Byeong-Soo Jeong |
An improved feasible shortest path real-time fault-tolerant scheduling algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 363-367, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
feasible shortest path real time fault tolerant scheduling algorithm, real time single processor environment, queue based scheduling techniques, feasible shortest path algorithm, linear time heuristics, FSP algorithm, optimal fault tolerant schedules, LTH algorithm, real time scheduling performance, backup scheduling, minimum inter-fault time, primary tasks, fault tolerant schedule, backup schedules, scheduling, fault tolerance, real-time systems, computational complexity, fault tolerant computing, queueing theory, time complexity, timing constraints, system performance, greedy heuristics, time interval, real time computer systems |
72 | Dong Lu, Peter A. Dinda, Yi Qiao, Huanyuan Sheng |
Effects and Implications of File Size/Service Time Correlation onWeb Server Scheduling Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: 13th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2005), 27-29 September 2005, Atlanta, GA, USA, pp. 258-270, 2005, IEEE Computer Society, 0-7695-2458-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
54 | Iman Narasamdya, Michaël Périn |
Certification of Smart-Card Applications in Common Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 309-324, 2009, Springer, 978-3-642-00592-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
54 | Dong Lu, Huanyuan Sheng, Peter A. Dinda |
Size-Based Scheduling Policies with Inaccurate Scheduling Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: 12th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2004), 4-8 October 2004, Vollendam, The Netherlands, pp. 31-38, 2004, IEEE Computer Society, 0-7695-2251-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Zhiwang Zhang, Yong Shi 0001 |
The Characteristic Analysis of Web User Clusters Based on Frequent Browsing Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II, pp. 490-493, 2007, Springer, 978-3-540-72585-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
WUM, FSP, clustering |
47 | Eric Y. Chen, Akinori Yonezawa |
FSP: Federation of Service Providers on the Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Eighth IEEE Symposium on Computers and Communications (ISCC 2003), 30 June - 3 July 2003, Kiris-Kemer, Turkey, pp. 1213-1218, 2003, IEEE Computer Society, 0-7695-1961-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Gang Chen 0002, Chor Ping Low, Zhonghua Yang |
Coordinated Services Provision in Peer-to-Peer Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 19(4), pp. 433-446, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Federated Service Providing System, Policy-driven decision-making, Coordination, P2P System |
36 | Christie I. Ezeife, Mostafa Monwar |
SSM : A Frequent Sequential Data Stream Patterns Miner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIDM ![In: Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, CIDM 2007, part of the IEEE Symposium Series on Computational Intelligence 2007, Honolulu, Hawaii, USA, 1-5 April 2007, pp. 120-126, 2007, IEEE, 1-4244-0705-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Dianxiang Xu, Izzat Alsmadi, Weifeng Xu |
Model Checking Aspect-Oriented Design Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 1, pp. 491-500, 2007, IEEE Computer Society, 978-0-7695-2870-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt |
Concurrent aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings, pp. 79-88, 2006, ACM, 1-59593-237-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Java, concurrency, formal verification, aspect-oriented programming, implementation |
36 | Jeff Kramer |
Component-Based Modeling, Analysis and Animation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006), 16-19 May 2006, Singapore, pp. 62, 2006, IEEE Computer Society, 0-7695-2585-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
LTSA-WS: a tool for model-based verification of web service compositions and choreography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 771-774, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
model-checking, web service compositions, choreography, BPEL4WS, WS-CDL |
36 | Wei-Ta Chen, Yi-Ling Chen, Ming-Syan Chen |
Mining Frequent Spatial Patterns in Image Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 10th Pacific-Asia Conference, PAKDD 2006, Singapore, April 9-12, 2006, Proceedings, pp. 699-703, 2006, Springer, 3-540-33206-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Image mining, spatial pattern |
36 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
Tool Support for Model-Based Engineering of Web Service Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2005 IEEE International Conference on Web Services (ICWS 2005), 11-15 July 2005, Orlando, FL, USA, pp. 95-102, 2005, IEEE Computer Society, 0-7695-2409-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Bei Di Chen, Muthucumaru Maheswaran |
A Fair Synchronization Protocol with Cheat Proofing for Decentralized Online Multiplayer Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCA ![In: 3rd IEEE International Symposium on Network Computing and Applications (NCA 2004), 30 August - 1 September 2004, Cambridge, MA, USA, pp. 372-375, 2004, IEEE Computer Society, 0-7695-2242-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Sungjune Hong, Sunyoung Han, Keecheon Kim, Jinpyo Hong, Kwanho Song |
Personal Service on Application Level Active Network for Ubiquitous Computing Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOIN ![In: Information Networking, Networking Technologies for Broadband and Mobile Networks, International Conference ICOIN 2004, Busan, Korea, February 18-20, 2004, Revised Selected Papers, pp. 83-92, 2004, Springer, 3-540-23034-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Eric J. Friedman, Shane G. Henderson |
Fairness and efficiency in web server protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the International Conference on Measurements and Modeling of Computer Systems, SIGMETRICS 2003, June 9-14, 2003, San Diego, CA, USA, pp. 229-237, 2003, ACM, 1-58113-664-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
starvation avoidance, processor sharing |
36 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
Model-based Verification of Web Service Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada, pp. 152-163, 2003, IEEE Computer Society, 0-7695-2035-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | João Paulo Barros |
Specific proposals for the use of petri nets in a concurrent programming course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 7th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2002, Aarhus, Denmark, June 24-28, 2002, pp. 165-167, 2002, ACM, 1-58113-499-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
FSP, process algebra, state machines, introductory course, LTSA |
29 | Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Detecting implied scenarios in message sequence chart specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, Vienna, Austria, September 10-14, 2001, pp. 74-82, 2001, ACM, 978-1-58113-390-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
FSP, implementability, synthesis, labelled transition systems, message sequence charts, LTSA |
29 | Zhigang Wang 0001, Yilei Tu, Ning Wang, Lixin Gao 0001, Jie Nie, Zhiqiang Wei 0002, Yu Gu 0002, Ge Yu 0001 |
FSP: Towards Flexible Synchronous Parallel Frameworks for Distributed Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 34(2), pp. 687-703, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Yuxuan Chen, Li Zhang 0045, Shijian Li, Xili Chen, Gang Pan 0001, Zhijie Pan |
RM-FSP: Regret minimization optimizes neural fictitious self-play. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 549, pp. 126471, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Alberto Ottimo, Gabriele Mencagli, Marco Danelutto |
FSP: a Framework for Data Stream Processing Applications targeting FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 31st Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2023, Naples, Italy, March 1-3, 2023, pp. 92-99, 2023, IEEE, 979-8-3503-3763-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Varsha Bhole, Arun Kumar |
Flutter-Based Real-Time Mobile App for Fruit Shelf-Life Prediction (FSP) Using Multi-Modality Imaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Retr. Res. ![In: Int. J. Inf. Retr. Res. 12(3), pp. 1-20, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Aeri Kim, Seungju Lee, Eunji Kwon, Seokhyeong Kang |
Adaptive FSP: Adaptive Architecture Search with Filter Shape Pruning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACCV (1) ![In: Computer Vision - ACCV 2022 - 16th Asian Conference on Computer Vision, Macao, China, December 4-8, 2022, Proceedings, Part I, pp. 539-555, 2022, Springer, 978-3-031-26318-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Yu Pang, Xiaosheng Yu, Yunhe Wu, Chengdong Wu |
FSP: a feedback-based saliency propagation method for saliency detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electronic Imaging ![In: J. Electronic Imaging 29(1), pp. 013011, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Haydar Ankishan |
Classification of acoustic signals with new feature: Fibonacci space (FSp). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biomed. Signal Process. Control. ![In: Biomed. Signal Process. Control. 48, pp. 221-233, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Spyros Papadimitriou, Konstantina Chrysafiadi, Margaritis Kamitsios, Maria Virvou |
FSP Creator: A Novel Web Service API Creator of Fuzzy Students Progress Profile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IISA ![In: 9th International Conference on Information, Intelligence, Systems and Applications, IISA 2018, Zakynthos, Greece, July 23-25, 2018, pp. 1-7, 2018, IEEE Computer Society, 978-1-5386-8161-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Zhigang Wang 0001, Lixin Gao 0001, Yu Gu 0002, Yubin Bao, Ge Yu 0001 |
FSP: towards flexible synchronous parallel framework for expectation-maximization based algorithms on cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCC ![In: Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, September 24-27, 2017, pp. 1-14, 2017, ACM, 978-1-4503-5028-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Julia Rebholz, Katharina Grossmann, David Pham, Suman Pokhrel, Lutz Mädler, Udo Weimar, Nicolae Barsan |
Selectivity Enhancement by Using Double-Layer MOX-Based Gas Sensors Prepared by Flame Spray Pyrolysis (FSP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 16(9), pp. 1437, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Frank Hannig, Dirk Koch, Daniel Ziener |
Proceedings of the Second International Workshop on FPGAs for Software Programmers (FSP 2015). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1508.06320, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
29 | Amelia Badica, Costin Badica, Marius Brezovan |
FSP Modeling of a Generic Distributed Swarm Computing Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDC ![In: Intelligent Distributed Computing IX - Proceedings of the 9th International Symposium on Intelligent Distributed Computing - IDC'2015, Guimarães, Portugal, October 2015, pp. 177-186, 2015, Springer, 978-3-319-25015-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Frank Hannig, Dirk Koch, Daniel Ziener |
Proceedings of the First International Workshop on FPGAs for Software Programmers (FSP 2014). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1408.4423, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
29 | Shay Nachmani, Amir Herzberg |
Inter-FSP Funds Transfer Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2013, pp. 537, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
29 | Amelia Badica, Costin Badica |
FSP and FLTL framework for specification and verification of middle-agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Math. Comput. Sci. ![In: Int. J. Appl. Math. Comput. Sci. 21(1), pp. 9-25, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Omid Bushehrian |
The Application of FSP Models in Automatic Optimization of Software Deployment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASMTA ![In: Analytical and Stochastic Modeling Techniques and Applications - 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011. Proceedings, pp. 43-54, 2011, Springer, 978-3-642-21712-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee |
Translating FSP into LOTOS and networks of automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 22(6), pp. 681-711, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Ze Tao |
Research on FSP with multi-workstation operation in auto assemble workshop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC ![In: Sixth International Conference on Natural Computation, ICNC 2010, Yantai, Shandong, China, 10-12 August 2010, pp. 2468-2471, 2010, IEEE, 978-1-4244-5961-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Nima Roohi, Gwen Salaün, Seyed-Hassan Mirian-Hosseinabadi |
Analyzing Chor Specifications by Translation into FSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCLASA ![In: Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2009, Rhodes, Greece, July 11, 2009, pp. 159-176, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Amelia Badica, Costin Badica |
Formal Specification of Matchmakers, Front-agents, and Brokers in Agent Environments using FSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSVVEIS ![In: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2008, In conjunction with ICEIS 2008, Barcelona, Spain, June 2008, pp. 9-18, 2008, INSTICC PRESS, 978-989-8111-43-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
29 | D. D. Rice, Gardiner S. Stiles |
Multi-threaded Java Design Using Finite State Processes (FSP) and the Labeled Transition System Analyzer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA '02, June 24 - 27, 2002, Las Vegas, Nevada, USA, Volume 1, pp. 325-332, 2002, CSREA Press, 1-892512-87-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
29 | François G. Pin, Charles J. Hacker, Kathryn B. Gower, Kristi A. Morgansen |
Including a non-holonomic constraint in the FSP (full space parameterization) method for mobile manipulators' motion planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 1997 IEEE International Conference on Robotics and Automation, Albuquerque, New Mexico, USA, April 20-25, 1997, pp. 2914-2919, 1997, IEEE, 0-7803-3612-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
29 | François G. Pin, Kristi A. Morgansen, Faithlyn A. Tulloch, Charles J. Hacker, Kathryn B. Gower |
Motion planning for mobile manipulators with a non-holonomic constraint using the FSP (full space parameterization) method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Field Robotics ![In: J. Field Robotics 13(11), pp. 723-736, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
29 | François G. Pin, Faithlyn A. Tulloch |
Resolving kinematic redundancy with constraints using the FSP (full space parameterization) approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 1996 IEEE International Conference on Robotics and Automation, Minneapolis, Minnesota, USA, April 22-28, 1996, pp. 468-473, 1996, IEEE, 0-7803-2988-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Herng-Hua Chang, Daniel J. Valentino, Woei-Chyn Chu |
Active Shape Modeling with Electric Flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 16(5), pp. 854-869, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
finite-size particle (FSP), Poisson's equation, electrostatic equilibrium, deformable models, Shape modeling, particle systems, shape recovery |
18 | Bernd Heinrich, Matthias Henneberger, Susanne Leist, Gregor Zellner |
The process map as an instrument to standardize processes: design and application at a financial service provider. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. E Bus. Manag. ![In: Inf. Syst. E Bus. Manag. 7(1), pp. 81-102, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Financial service provider, Business process management, Process map |
18 | Jun Ma, Guanzhong Dai, Jing Zhou |
Anomalous Payload Detection System Using Analysis of Frequent Sequential Pattern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAS ![In: Proceedings of the Fifth International Conference on Information Assurance and Security, IAS 2009, Xi'An, China, 18-20 August 2009, pp. 75-78, 2009, IEEE Computer Society, 978-0-7695-3744-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Alberto V. Donati, Vince Darley, Bala Ramachandran |
An Ant-bidding Algorithm for Multistage Flowshop Scheduling Problem: Optimization and Phase Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Metaheuristics for Hard Optimization ![In: Advances in Metaheuristics for Hard Optimization, pp. 111-136, 2008, Springer, 978-3-540-72959-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Amelia Badica, Costin Badica |
Conceptualizing Interactions with Matchmakers and Front-Agents Using Formal Verification Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings, pp. 390-394, 2008, Springer, 978-3-540-85775-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Nicolás D'Ippolito, Dario Fischbein, Howard Foster, Sebastián Uchitel |
MTSA: Eclipse support for modal transition systems construction, analysis and elaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETX ![In: Proceedings of the 2007 OOPSLA workshop on Eclipse Technology eXchange, ETX 2007, Montreal, Quebec, Canada, October 21, 2007, pp. 6-10, 2007, ACM, 978-1-60558-015-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
FLTL, synthesis, scenarios, Eclipse, MTS |
18 | Osmar R. Zaïane, Yang Wang, Randy Goebel, Gregory J. Taylor |
Frequent Subsequence-Based Protein Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioDM ![In: Data Mining for Biomedical Applications, PAKDD 2006 Workshop, BioDM 2006, Singapore, April 9, 2006, Proceedings, pp. 35-47, 2006, Springer, 3-540-33104-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Zonghua Gu 0001, Kang G. Shin |
Model-Checking of Component-Based Event-Driven Real-Time Embedded Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 18-20 May 2005, Seattle, WA, USA, pp. 410-417, 2005, IEEE Computer Society, 0-7695-2356-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Rolf Hennicker, Matthias Ludwig 0002 |
Property-Driven Development of a Coordination Model for Distributed Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings, pp. 290-305, 2005, Springer, 3-540-26181-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Mingwei Gong, Carey L. Williamson |
Simulation Evaluation of Hybrid SRPT Scheduling Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: 12th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2004), 4-8 October 2004, Vollendam, The Netherlands, pp. 355-363, 2004, IEEE Computer Society, 0-7695-2251-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Scheduling, Performance Analysis, Trace-Driven Simulation, Web Server Performance |
18 | Andrew J. Bennett, A. J. Field |
Performance Engineering with the UML Profile for Schedulability, Performance and Time: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: 12th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2004), 4-8 October 2004, Vollendam, The Netherlands, pp. 67-75, 2004, IEEE Computer Society, 0-7695-2251-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Juan Humberto Sossa Azuela, Ricardo Barrón, Roberto Antonio Vázquez |
Transforming Fundamental Set of Patterns to a Canonical Form to Improve Pattern Recall. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA ![In: Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings, pp. 687-696, 2004, Springer, 3-540-23806-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Jeff Kramer, Jeff Magee, Sebastián Uchitel |
Software Architecture Modeling & Analysis: A Rigorous Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Software Architectures, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures, pp. 44-51, 2003, Springer, 3-540-20083-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #59 of 59 (100 per page; Change: )
|
|