Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | Mi-young Kang, Sung-Won Jung, Hyuk-Chul Kwon, Ae-sun Yoon |
Automatic Korean Phoneme Generation Via Input-Text Preprocessing and Disambiguation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TSD ![In: Text, Speech and Dialogue, 9th International Conference, TSD 2006, Brno, Czech Republic, September 11-15, 2006, Proceedings, pp. 447-454, 2006, Springer, 3-540-39090-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | He Yu'an, Yu Tao, Liu Lilan, Sun Haiyang |
Research on Manufacturing Resource Discovery Based on Ontology and QoS in Manufacturing Grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CW ![In: 5th International Conference on Cyberworlds (CW 2006), 28-29 November 2006, Lausanne, Switzerland, pp. 209-215, 2006, IEEE Computer Society, 0-7695-2671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Peter Amey |
Why Programming Languages Still Matter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RODIN Book ![In: Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], pp. 391-402, 2006, Springer, 3-540-48265-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Zhen Yang, Huadong Ma |
Providing Consistent Service for Structured P2P Streaming System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PCM ![In: Advances in Multimedia Information Processing - PCM 2006, 7th Pacific Rim Conference on Multimedia, Hangzhou, China, November 2-4, 2006, Proceedings, pp. 695-703, 2006, Springer, 3-540-48766-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
service consistency, peer-to-peer, streaming system |
10 | Guang-Sheng Ma, Xiuqin Wang, Hao Wang |
Web-Based Cooperative Design for SoC and Improved Architecture Exploration Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb Workshops ![In: Advanced Web and Network Technologies, and Applications, APWeb 2006 International Workshops: XRA, IWSN, MEGA, and ICSE, Harbin, China, January 16-18, 2006, Proceedings, pp. 1021-1028, 2006, Springer, 3-540-31158-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Jedidiah R. Crandall, Gary Wassermann, Daniela Alvim Seabra de Oliveira, Zhendong Su 0001, Shyhtsun Felix Wu, Frederic T. Chong |
Temporal search: detecting hidden malware timebombs with virtual machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2006, San Jose, CA, USA, October 21-25, 2006, pp. 25-36, 2006, ACM, 1-59593-451-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
virtual machines, malware, worms |
10 | Harald Raffelt, Bernhard Steffen |
LearnLib: A Library for Automata Learning and Experimentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings, pp. 377-380, 2006, Springer, 3-540-33093-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Yici Cai, Jin Shi, Zuying Luo, Xianlong Hong |
Modeling and Analysis of Mesh Tree Hybrid Power/Ground Networks with Multiple Voltage Supply in Time Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 20(2), pp. 224-230, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
power/ground network, mesh tree hybrid, multi-source, Choleskey decomposition, fast variable elimination, simulation, VLSI |
10 | Farn Wang |
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 31(1), pp. 38-51, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
model-checking, verification, Data-structures, BDD, hybrid automata |
10 | Gertrude Neuman Levine |
The classification of deadlock prevention and avoidance is erroneous. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 39(2), pp. 47-50, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Chia-Feng Juang |
Combination of online clustering and Q-value based GA for reinforcement fuzzy system design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 13(3), pp. 289-302, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Keith Braithwaite, Tim Joyce |
XP Expanded: Distributed Extreme Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XP ![In: Extreme Programming and Agile Processes in Software Engineering, 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings, pp. 180-188, 2005, Springer, 3-540-26277-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
distributed, XP, Extreme Programming, outsourcing, Agile, Scrum, multi-site |
10 | Sven Olaf Ropers, André A. Bell, Thomas Würflinger, Alfred Böcking, Dietrich Meyer-Ebrecht |
Automatic scene comparison and matching in multimodal cytopathological microscopic images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings of the 2005 International Conference on Image Processing, ICIP 2005, Genoa, Italy, September 11-14, 2005, pp. 1145-1148, 2005, IEEE, 0-7803-9134-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Chetan Shiva Shankar, Roy H. Campbell |
A Policy-based Management Framework for Pervasive Systems using Axiomatized Rule-Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCA ![In: Fourth IEEE International Symposium on Network Computing and Applications (NCA 2005), 27-29 July 2005, Cambridge, MA, USA, pp. 255-258, 2005, IEEE Computer Society, 0-7695-2326-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Kotaro Nakayama, Takahiro Hara, Shojiro Nishio |
A Web Mining Method Based on Personal Ontology for Semi-structured RDF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE Workshops ![In: Web Information Systems Engineering - WISE 2005 Workshops, WISE 2005 International Workshops, New York, NY, USA, November 20-22, 2005, Proceedings, pp. 227-234, 2005, Springer, 3-540-30018-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Farn Wang |
Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, pp. 300-314, 2005, Springer, 3-540-29797-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
model-checking, verification, real-time, synchronization, distributed |
10 | Wojciech J. Dzidek, Lionel C. Briand, Yvan Labiche |
Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Satellite Events) ![In: Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers, pp. 10-19, 2005, Springer, 3-540-31780-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Stefan Bertschi, Noah Bubenhofer |
Linguistic Learning: A New Conceptual Focus in Knowledge Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 9th International Conference on Information Visualisation, IV 2005, 6-8 July 2005, London, UK, pp. 383-389, 2005, IEEE Computer Society, 0-7695-2397-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Katsuhisa Maruyama, Shinichiro Yamamoto |
Design and Implementation of an Extensible and Modifiable Refactoring Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPC ![In: 13th International Workshop on Program Comprehension (IWPC 2005), 15-16 May 2005, St. Louis, MO, USA, pp. 195-204, 2005, IEEE Computer Society, 0-7695-2254-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Marc O. Ernst |
The "puzzle" of sensory perception: putting together multisensory information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: Proceedings of the 7th International Conference on Multimodal Interfaces, ICMI 2005, Trento, Italy, October 4-6, 2005, pp. 1, 2005, ACM, 1-59593-028-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Yi Hong 0002, Qingsheng Ren, Jin Zeng, Ying Zhang |
Search Space Filling and Shrinking Based to Solve Constraint Optimization Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (1) ![In: Advances in Intelligent Computing, International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part I, pp. 986-994, 2005, Springer, 3-540-28226-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Jianming Hu, Xi Shi, Jingyan Song, Yangsheng Xu |
Optimal Design for Urban Mass Transit Network Based on Evolutionary Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC (2) ![In: Advances in Natural Computation, First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II, pp. 1089-1100, 2005, Springer, 3-540-28325-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Frank Zeyda, Bill Stoddart, Steve Dunne |
A Prospective-Value Semantics for the GSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, pp. 187-202, 2005, Springer, 3-540-25559-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
bunch theory, prospective-value semantics, expression transformers, wp calculus, B Method, Generalised substitution |
10 | Andreas Podelski, Thomas Wies |
Boolean Heaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings, pp. 268-283, 2005, Springer, 3-540-28584-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Christian Plagemann, Thomas Müller 0004, Wolfram Burgard |
Vision-Based 3D Object Localization Using Probabilistic Models of Appearance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAGM-Symposium ![In: Pattern Recognition, 27th DAGM Symposium, Vienna, Austria, August 31 - September 2, 2005, Proceedings, pp. 184-191, 2005, Springer, 3-540-28703-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Jinlong Wang, Congfu Xu, Huifeng Shen, Yunhe Pan |
Hierarchical Infrastructure for Large-Scale Distributed Privacy-Preserving Data Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2005, 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III, pp. 1020-1023, 2005, Springer, 3-540-26044-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Venu K. Murthy, E. V. Krishnamurthy |
Contextual information management using contract: based workflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the Second Conference on Computing Frontiers, 2005, Ischia, Italy, May 4-6, 2005, pp. 236-245, 2005, ACM, 1-59593-019-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
ambient intelligent computing environment (AmI), chemical-reactivity properties, contextual management, contract-based workflow, intention - context-action protocol, agents |
10 | Miguel Goulão, Fernando Brito e Abreu |
Composition Assessment Metrics for CBSE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 31st EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2005), 30 August - 3 September 2005, Porto, Portugal, pp. 96-105, 2005, IEEE Computer Society, 0-7695-2431-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Software Metrics, OCL, Component-Based Software Engineering, CORBA Component Model |
10 | Ingo Stock, Michael Weber 0001, Eckhard Steinmeier |
Metadata based authoring for technical documentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 23rd Annual International Conference on Design of Communication: documenting & Designing for Pervasive Information, SIGDOC 2005, Coventry, UK, September 21-23, 2005, pp. 60-67, 2005, ACM, 1-59593-175-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
metadata, authoring, technical documentation |
10 | Fangyong Hou, Zhiying Wang 0003, Kui Dai, Yun Liu |
Protecting Mass Data Basing on Small Trusted Agent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPEC ![In: Information Security Practice and Experience, First International Conference, ISPEC 2005, Singapore, April 11-14, 2005, Proceedings, pp. 362-373, 2005, Springer, 3-540-25584-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Beatriz Otero, José M. Cela, Rosa M. Badia, Jesús Labarta |
Data Distribution Strategies for Domain Decomposition Applications in Grid Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA3PP ![In: Distributed and Parallel Computing, 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings, pp. 214-224, 2005, Springer, 3-540-29235-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Leon Bobrowski |
Linear Ranked Regression - Designing Principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORES ![In: Computer Recognition Systems, Proceedings of the 4th International Conference on Computer Recognition Systems, CORES'05, May 22-25, 2005, Rydzyna Castle, Poland, pp. 105-112, 2005, Springer, 978-3-540-25054-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Janusz Jezewski, Janusz Wrobel, Tomasz Kupka |
Baseline and Acceleration Episodes - Clinically Significant Nonstationarities in FHR Signal: Part I. Coefficients of Inconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORES ![In: Computer Recognition Systems, Proceedings of the 4th International Conference on Computer Recognition Systems, CORES'05, May 22-25, 2005, Rydzyna Castle, Poland, pp. 527-534, 2005, Springer, 978-3-540-25054-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Anliang Ning, Hong Hou, Qingyi Hua, Bin Yu, Kegang Hao |
Requirements Engineering Processes Improvement: A Systematic View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPW ![In: Unifying the Software Process Spectrum, International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers, pp. 151-163, 2005, Springer, 3-540-31112-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Lixin Han, Guihai Chen, Linping Sun, Li Xie |
CMSA: A Method for Construction and Maintenance of Semantic Annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA Workshops ![In: Parallel and Distributed Processing and Applications - ISPA 2005 Workshops, ISPA 2005 International Workshops AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005, Proceedings, pp. 514-519, 2005, Springer, 3-540-29770-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre |
DynAlloy: upgrading alloy with actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pp. 442-451, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
software specification, dynamic logic, alloy, software validation |
10 | Witold Charatonik, Lilia Georgieva, Patrick Maier 0001 |
Bounded Model Checking of Pointer Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings, pp. 397-412, 2005, Springer, 3-540-28231-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Topi Mäenpää |
An Iterative Algorithm for Fast Iris Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWBRS ![In: Advances in Biometric Person Authentication, International Workshop on Biometric Recognition Systems, IWBRS2005, Beijing, China, October 22-23, 2005, Proceedings, pp. 127-134, 2005, Springer, 3-540-29431-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Feng Shi, Jing Huang |
Prediction of T-cell Epitopes Using Support Vector Machine and Similarity Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIS (1) ![In: Computational Intelligence and Security, International Conference, CIS 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part I, pp. 604-608, 2005, Springer, 3-540-30818-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Miguel Goulão, Fernando Brito e Abreu |
Formal Definition of Metrics Upon the CORBA Component Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QoSA/SOQUA ![In: Quality of Software Architectures and Software Quality, First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005, Proceedings, pp. 88-105, 2005, Springer, 3-540-29033-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Xuefeng Zhu, Zhi Jin |
Inconsistency Measurement of Software Requirements Specifications: An Ontology-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, pp. 402-410, 2005, IEEE Computer Society, 0-7695-2284-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Yan Xing, Michael G. Madden, Jim Duggan, Gerard Lyons |
Context-Sensitive Regression Analysis for Distributed Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADMA ![In: Advanced Data Mining and Applications, First International Conference, ADMA 2005, Wuhan, China, July 22-24, 2005, Proceedings, pp. 292-299, 2005, Springer, 3-540-27894-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner |
Formal Verification of Dead Code Elimination in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany, pp. 200-209, 2005, IEEE Computer Society, 0-7695-2435-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Yuefeng Li, Ning Zhong 0001 |
Rough Association Mining and Its Application in Web Information Gathering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2005: Advances in Artificial Intelligence, 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings, pp. 1005-1008, 2005, Springer, 3-540-30462-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Qun Liu, WenBiao Jin, SiYuan Wu, YingHua Zhou |
Clustering research using dynamic modeling based on granular computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2005 IEEE International Conference on Granular Computing, Beijing, China, July 25-27, 2005, pp. 539-543, 2005, IEEE, 0-7803-9017-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Debora Field, Allan Ramsay |
Sarcasm, Deception, and Stating the Obvious: Planning Dialogue without Speech Acts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 22(2), pp. 149-171, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
conversational record, deception, speech acts, AI planning, implicature |
10 | Hwanho Kim, Jinchao Xu, Ludmil T. Zikatanov |
Uniformly Convergent Multigrid Methods for Convection-Diffusion Problems without Any Constraint on Coarse Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 20(4), pp. 385-399, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
nonsymmetric and indefinite problems, convection-diffusion equations, monotone finite element scheme, EAFE scheme, normal equation, preconditioning, multigrid method, GMRES |
10 | Ralph-Johan Back, Cristina Cerschi Seceleanu |
Contracts and Games in Controller Synthesis for Discrete Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 24-27 May 2004, Brno, Czech Republic, pp. 307-315, 2004, IEEE Computer Society, 0-7695-2125-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Farn Wang |
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings, pp. 295-307, 2004, Springer, 3-540-22342-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
model-checking, verification, data-structures, BDD, hybrid automata |
10 | Pascal Hénon, François Pellegrini, Pierre Ramet, Jean Roman, Yousef Saad |
Applying Parallel Direct Solver Techniques to Build Robust High Performance Preconditioners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA ![In: Applied Parallel Computing, State of the Art in Scientific Computing, 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004, Revised Selected Papers, pp. 611-619, 2004, Springer, 3-540-29067-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Dirk Woitha, Dietmar Janich |
Adaptive Threshold. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reading and Learning ![In: Reading and Learning, Adaptive Content Recognition, pp. 14-25, 2004, Springer, 3-540-21904-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Miles Efron, Jonathan L. Elsas, Gary Marchionini, Junliang Zhang |
Machine learning for information architecture in a large governmental website. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2004, Tucson, AZ, USA, June 7-11, 2004, Proceedings, pp. 151-159, 2004, ACM, 1-58113-832-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
machine learning, interface design, information architecture |
10 | Stefan Edelkamp |
Generalizing the Relaxed Planning Heuristic to Non-linear Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2004: Advances in Artificial Intelligence, 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings, pp. 198-212, 2004, Springer, 3-540-23166-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Takuya Fukasawa, Jiahong Wang, Toyoo Takata, Masatoshi Miyazaki |
An Effective Distributed Privacy-Preserving Data Mining Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2004, 5th International Conference, Exeter, UK, August 25-27, 2004, Proceedings, pp. 320-325, 2004, Springer, 3-540-22881-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Kaushal Sarda, Duminda Wijesekera, Sushil Jajodia |
Implementing Consistency Checking in Correlating Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCIT ![In: Distributed Computing and Internet Technology, First International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004, Proceedings, pp. 379-384, 2004, Springer, 3-540-24075-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Ole Guttorm Jensen, Michael H. Böhlen |
Lossless Conditional Schema Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2004, 23rd International Conference on Conceptual Modeling, Shanghai, China, November 2004, Proceedings, pp. 610-623, 2004, Springer, 3-540-23723-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Walter Binder, Jarle Hulaas |
Extending Standard Java Runtime Systems for Resource Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEM ![In: Software Engineering and Middleware, 4th International Workshop, SEM 2004,Linz, Austria, September 20-21, 2004, Revised Selected Papers, pp. 154-169, 2004, Springer, 3-540-25328-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Bytecode rewriting, JDK, Java, program transformations, resource management |
10 | Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu |
Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: Proceedings of the IEEE International Conference on Web Services (ICWS'04), June 6-9, 2004, San Diego, California, USA, pp. 734-737, 2004, IEEE Computer Society, 0-7695-2167-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | William N. Scherer III, Michael L. Scott |
Nonblocking Concurrent Data Structures with Condition Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 18th International Conference, DISC 2004, Amsterdam, The Netherlands, October 4-7, 2004, Proceedings, pp. 174-187, 2004, Springer, 3-540-23306-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Antti Oulasvirta, Antti Salovaara |
A cognitive meta-analysis of design approaches to interruptions in intelligent environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended abstracts of the 2004 Conference on Human Factors in Computing Systems, CHI 2004, Vienna, Austria, April 24 - 29, 2004, pp. 1155-1158, 2004, ACM, 1-58113-703-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
context-aware computing, interruptions, intelligent environment, cognitive psychology |
10 | Jim Woodcock 0001, Ana Cavalcanti 0001 |
A Tutorial Introduction to Designs in Unifying Theories of Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, pp. 40-66, 2004, Springer, 3-540-21377-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Greta Yorsh, Thomas W. Reps, Shmuel Sagiv |
Symbolically Computing Most-Precise Abstract Operations for Shape Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 530-545, 2004, Springer, 3-540-21299-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Mohamed Mosbah 0001, Rodrigue Ossamy |
A Programming Language for Local Computations in Graphs: Computational Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENC ![In: 5th Mexican International Conference on Computer Science (ENC 2004), 20-24 September 2004, Colima, Mexico, pp. 12-19, 2004, IEEE Computer Society, 0-7695-2160-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Martin Smits, Aldo de Moor |
Measuring Knowledge Management Effectiveness in Communities of Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 37th Hawaii International Conference on System Sciences (HICSS-37 2004), CD-ROM / Abstracts Proceedings, 5-8 January 2004, Big Island, HI, USA, 2004, IEEE Computer Society, 0-7695-2056-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Zhu Pan, Yici Cai, Sheldon X.-D. Tan, Zuying Luo, Xianlong Hong |
Transient Analysis of On-Chip Power Distribution Networks Using Equivalent Circuit Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 5th International Symposium on Quality of Electronic Design (ISQED 2004), 22-24 March 2004, San Jose, CA, USA, pp. 63-68, 2004, IEEE Computer Society, 0-7695-2093-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Saeid Arabestani, Friedemann Bitsch, Jan-Tecker Gayen |
Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 119-144, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
safety requirements specification, safety patterns, radio-based train control system (FFB), UML, object orientation, level crossing |
10 | Kenji Obata |
Approximate max-integral-flow/min-multicut theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 36th Annual ACM Symposium on Theory of Computing, Chicago, IL, USA, June 13-16, 2004, pp. 539-545, 2004, ACM, 1-58113-852-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Mingsheng Ying |
Reasoning about probabilistic sequential programs in a probabilistic logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 39(5), pp. 315-389, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Karl Lermer, Colin J. Fidge, Ian J. Hayes |
Linear Approximation of Execution-Time Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 15(4), pp. 319-348, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Automatic constraint determination, Real-time program analysis, Worst-case and best-case execution times, Control-flow analysis, Timing prediction |
10 | Chang Huang, Zhaohui Wu 0001, Guozhou Zheng |
A Negotiation Protocol for Database Resource Binding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPDC ![In: 2nd International Symposium on Parallel and Distributed Computing (ISPDC 2003), 13-14 October 2003, Ljubljana, Slovenia, pp. 117-122, 2003, IEEE Computer Society, 0-7695-2069-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | José Manuel Colom |
The Resource Allocation Problem in Flexible Manufacturing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings, pp. 23-35, 2003, Springer, 3-540-40334-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | K. Rustan M. Leino |
A SAT Characterization of Boolean-Program Correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings, pp. 104-120, 2003, Springer, 3-540-40117-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Jacques Wainer, Fábio de Lima Bezerra |
Constraint-Based Flexible Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRIWG ![In: Groupware: Design, Implementation, and Use, 9th International Workshop, CRIWG 2003, Autrans, France, September 28 - October 2, 2003, Proceedings, pp. 151-158, 2003, Springer, 3-540-20117-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Christel Kemke |
A Formal Theory for Describing Action Concepts in Terminological Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI ![In: Advances in Artificial Intelligence, 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, Halifax, Canada, June 11-13, 2003, Proceedings, pp. 458-465, 2003, Springer, 3-540-40300-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Lilian Burdy, Antoine Requet |
Extending B with Control Flow Breaks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, pp. 513-527, 2003, Springer, 3-540-40253-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Oliver Ritthoff, Ralf Klinkenberg |
Evolutionary Feature Space Transformation Using Type-Restricted Generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part II, pp. 1606-1607, 2003, Springer, 3-540-40603-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Marco Fischer, Hendrik Jähn, Tobias Teich |
Partner Selection in Virtual Enterprises by Using Ant Colony Optimization in Combination with the Analytical Hierarchy Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part II, pp. 2398-2399, 2003, Springer, 3-540-40603-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Viktor Kuncak, Martin C. Rinard |
Existential Heap Abstraction Entailment Is Undecidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings, pp. 418-438, 2003, Springer, 3-540-40325-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Program Verification, Shape Analysis, Type Checking, Monadic Second-Order Logic, Typestate, Graph Homomorphism, Post Correspondence Problem |
10 | Cees Pierik, Frank S. de Boer |
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings, pp. 64-78, 2003, Springer, 3-540-20491-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Dong Zhao, Ya-Wei Li, Mingtian Zhou |
Research on Adaptable Replication Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC (2) ![In: Grid and Cooperative Computing, Second International Workshop, GCC 2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part II, pp. 174-178, 2003, Springer, 3-540-21993-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | David Keil, Dina Q. Goldin |
Modeling Indirect Interaction in Open Computational Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 12th IEEE International Workshops on Enabling Technologies (WETICE 2003), Infrastructure for Collaborative Enterprises, 9-11 June 2003, Linz, Austria, pp. 371-376, 2003, IEEE Computer Society, 0-7695-1963-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Natenapa Sriharee, Twittie Senivongse |
Discovering Web Services Using Behavioural Constraints and Ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAIS ![In: Distributed Applications and Interoperable Systems, 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings, pp. 248-259, 2003, Springer, 3-540-20529-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Joan Mir, Joan Borrell |
Protecting Mobile Agent Itineraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATA ![In: Mobile Agents for Telecommunication Applications, 5th International Workshop, MATA 2003, Marakech, Morocco, October 8-10, 2003, Proceedings, pp. 275-285, 2003, Springer, 3-540-20298-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Ligang He, Stephen A. Jarvis, Daniel P. Spooner, Graham R. Nudd |
Dynamic Scheduling of Parallel Real-Time Jobs by Modelling Spare Capabilities in Heterogeneous Clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: 2003 IEEE International Conference on Cluster Computing (CLUSTER 2003), 1-4 December 2003, Kowloon, Hong Kong, China, pp. 2-10, 2003, IEEE Computer Society, 0-7695-2066-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Jingzhi Guo, Chengzheng Sun |
Context representation, transformation and comparison for ad hoc product data exchange. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2003 ACM Symposium on Document Engineering, Grenoble, France, November 20-22, 2003, pp. 121-130, 2003, ACM. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
XML product map, XPM, ad hoc product data exchange, context comparison, context transformation, electronic product catalogue, product data integration, semantics, electronic commerce, concept, context representation |
10 | Geoffrey Watson, Colin J. Fidge |
A Partial-Correctness Semantics for Modelling Assembler Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia, pp. 82-90, 2003, IEEE Computer Society, 0-7695-1949-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Paul Ammann, Duminda Wijesekera, Saket Kaushik |
Scalable, graph-based network vulnerability analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 9th ACM Conference on Computer and Communications Security, CCS 2002, Washington, DC, USA, November 18-22, 2002, pp. 217-224, 2002, ACM, 1-58113-612-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
monotonic analysis, model checking, scalability, network security, vulnerability, exploit |
10 | Graeme Smith 0001, John Derrick |
Abstract Specification in Object-Z and CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 108-119, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Colin J. Fidge |
Timing Analysis of Assembler Code Control-Flow Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 370-389, 2002, Springer, 3-540-43928-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Chi Shen, Jun Zhang 0001 |
Robust Parallel ILU Preconditioning Techniques for Solving Large Sparse Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings, 2002, IEEE Computer Society, 0-7695-1573-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | James Blow, Andy Galloway |
Generalised Substitution Language and Differentials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings, pp. 396-415, 2002, Springer, 3-540-43166-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Markus Müller-Olm, Helmut Seidl |
Polynomial Constants Are Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings, pp. 4-19, 2002, Springer, 3-540-44235-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Gabi Dreo Rodosek |
Quality Aspects in IT Service Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSOM ![In: Management Technologies for E-Commerce and E-Business Applications, 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2002, Montreal, Canada, October 21-23, 2002, Proceedings, pp. 82-93, 2002, Springer, 3-540-00080-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Alain Couchot |
Improving the Refined Triggering Graph Method for Active Rules Termination Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Advances in Databases, 19th British National Conference on Databases, BNCOD 19, Sheffield, UK, July 17-19, 2002, Proceedings, pp. 114-133, 2002, Springer, 3-540-43905-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Klaus B. Bærentsen, Johan Trettvik |
An activity theory approach to affordance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NordiCHI ![In: Proceedings of the Second Nordic Conference on Human-Computer Interaction 2002, Aarhus, Denmark, October 19-23, 2002, pp. 51-60, 2002, ACM, 1-58113-616-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
ecological psychology, praxis, perception, activity theory, activity, affordance, artifacts, appropriation |
10 | Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov |
Korat: automated testing based on Java predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, Roma, Italy, July 22-24, 2002, pp. 123-133, 2002, ACM, 1-58113-562-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Lionel C. Briand, Yvan Labiche, Hong Sun |
Investigating the use of analysis contracts to support fault isolation in object oriented code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, Roma, Italy, July 22-24, 2002, pp. 70-80, 2002, ACM, 1-58113-562-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
contracts, testability, object-oriented analysis, object-oriented testing |
10 | Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf H. Reussner |
Predictable Component Architectures Using Dependent Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RISSEF ![In: Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers, pp. 310-324, 2002, Springer, 3-540-21179-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
automated interface adaptation, component-based interface specification, component-based prediction, production cell, protocol types, parameterised contracts, software architecture, finite state machines |
10 | Maria Vargas-Vera, Enrico Motta, John Domingue, Mattia Lanzoni, Arthur Stutt, Fabio Ciravegna |
MnM: Ontology Driven Semi-automatic and Automatic Support for Semantic Markup. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EKAW ![In: Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web, 13th International Conference, EKAW 2002, Siguenza, Spain, October 1-4, 2002, Proceedings, pp. 379-391, 2002, Springer, 3-540-44268-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Konstantinos Ergazakis, Konstantinos Karnezis, Kostas S. Metaxiotis, Ioannis Psarras |
Knowledge Management in Enterprises: A Research Agenda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKM ![In: Practical Aspects of Knowledge Management, 4th International Conference, PAKM 2002, Vienna, Austria, December 2-3, 2002, Proceedings, pp. 37-48, 2002, Springer, 3-540-00314-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|