|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4046 occurrences of 2150 keywords
|
|
|
Results
Found 5053 publication records. Showing 5053 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Frank Terpstra, Zhiming Zhao, Wico Mulder, Pieter W. Adriaans |
Towards a Formal Foundation for Aggregating Scientific Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III, pp. 216-219, 2007, Springer, 978-3-540-72587-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
formalism, I/O Automata, workflow design |
21 | Hyung-Jong Kim 0002 |
Vulnerability Modeling and Simulation for DNS Intrusion Tolerance System Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIS ![In: Artificial Intelligence and Simulation, 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers, pp. 81-89, 2004, Springer, 3-540-24476-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Atomic Vulnerability, DNS, Intrusion Tolerance, Vulnerability Analysis, DEVS formalism |
21 | Kiminori Matsuzaki, Kazuhiko Kakehi 0001, Hideya Iwasaki, Zhenjiang Hu, Yoshiki Akashi |
A Fusion-Embedded Skeleton Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference, Pisa, Italy, August 31-September 3, 2004, Proceedings, pp. 644-653, 2004, Springer, 3-540-22924-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Skeletal Parallel Programming, Fusion Transformation, Bird-Meertens Formalism, Optimization, Program Transformation |
21 | Adalberto Farias, Alexandre Mota 0001, Augusto Sampaio |
Efficient CSPZ Data Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, pp. 108-127, 2004, Springer, 3-540-21377-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Integrated formalism, CSPZ, Java, model checking, verification, specification, tool support, data abstraction |
21 | Stephen J. H. Yang, Jeffrey J. P. Tsai, Chyun-Chyi Chen |
Fuzzy Rule Base Systems Verification Using High-Level Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 15(2), pp. 457-473, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
rules reasoning, rule verification, Petri nets, formalism, high-level Petri nets, fuzzy rules, certainty factors |
21 | Ira Acharya, Hemendra Kumar Singh |
Testing of 3G 1xEV-DV Stack - A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings, pp. 20-32, 2003, Springer, 3-540-40123-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
testing challenges, IUT, 1xEV-DV, EV-DV, DV, reference implementation, 3GPP2, LAC, RLP, L2, L3, packet data channel, PDCHCF, Message Integrity, simulation, Testing, MAC, queues, behavior, task, video conferencing, SDL, formalism, 3G, Signaling, logging, conformance, test automation, formal description techniques, MSC, timers, protocol stack, test scripts, TTCN |
21 | Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier F. Roux |
Extending the Translation from SDL to Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings, pp. 79-94, 2002, Springer, 3-540-43477-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
SDL formalism, save operator, model-checking, data abstraction |
21 | HyungJong Kim 0002 |
System Specification Based Network Modeling for Survivability Testing Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2002, 5th International Conference Seoul, Korea, November 28-29, 2002, Revised Papers, pp. 90-106, 2002, Springer, 3-540-00716-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Survivability, Simulation Model, Vulnerability Analysis, System Specification, DEVS-Formalism |
21 | Christine Choppy, Pascal Poizat, Jean-Claude Royer |
A Global Semantics for Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, pp. 165-180, 2000, Springer, 3-540-67530-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
mixed specifications, view formalism, global semantics |
21 | Ravi K. Gedela, Sol M. Shatz, Haiping Xu |
Formal modeling of synchronization methods for concurrent objects in Ada 95. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings ACM SIGAda Annual International Conference, SIGAda 1999, The Engineering of Industrial Strength Real-Time Software & Distributed Systems: Using Ada and Related Technologie, Redondo Beach, CA, USA, October 17-21, 1999., pp. 211-220, 1999, ACM, 1-58113-127-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Petri net formalism, Ada-95, concurrent objects, distributed software, synchronization methods |
21 | Claudia I. Horta, José A. Lima |
Slicing and non-slicing, unified and rotation independent, algebraic representation of floorplans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 23rd EUROMICRO Conference '97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary, pp. 265-, 1997, IEEE Computer Society, 0-8186-8129-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
floorplan area optimization problem, rectangle envelope, nonoverlapping basic rectangles, floorplan topology, formal algebraic specification, SETS notation, VLSI physical design layout, module dimensions, arbitrarily complex composite floorplans, rotation-invariant single-expression formalism, generalized wheels floorplans, slicing representation, nonslicing representation, unified representation, topology-dimensionless description, floorplanning problem algorithms, algebraic specification, line segments, relative positioning |
21 | Theodosis Dimitrakos, T. S. E. Maibaum |
Notes on Refinement, Interpolation and Uniformity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 108-116, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
step-wise refinement, modularity properties, logic-independent framework, uniform interpolants, specification formalism orthogonal expansion, software maintenance, interpolation, uniformity, program development, proof obligations |
21 | Antonia Bertolino, Paola Inverardi, Henry Muccini, Andrea Rosetti |
An approach to integration testing based on architectural descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 8-12 September 1997, Lake Como, Italy, pp. 77-, 1997, IEEE Computer Society, 0-8186-8126-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
formal architectural descriptions, CHAM formalism, coverage strategy, software engineering, software architectures, unit testing, integration testing, architectural descriptions |
21 | Ilham Alloui, Flávio Oquendo |
Support for environment-mediated human cooperation in large-scale reuse-based projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPW ![In: 10th International Software Process Workshop, ISPW 1996, June 17-19, 1996, Dijon, France, pp. 18-20, 1996, IEEE Computer Society, 0-8186-7725-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
environment-mediated human cooperation support, large-scale reuse-based projects, complex system composition process, distributed system composition process, Peace+knowledge-based formalism, modelling interactions, project participants, rational action theory, multi-agent paradigm, software reusability, distributed artificial intelligence, intention, speech acts theory |
21 | Georg Heidenreich, Mark Minas, Detlef Kips |
A New Approach to Consistency Control in Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, Proceedings., pp. 289-297, 1996, IEEE Computer Society, 0-8186-7246-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
change tracking, computer-based software process management, high-level formalism, life cycle models, software representations, software engineering, compilers, standards, software quality, project management, software process, configuration management, quality assurance, version control, software development management, software project management, consistency control, ISO standards, ISO 9000 |
21 | Zhen Liu 0001, Philippe Nain, Donald F. Towsley |
Sample path methods in the control of queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 21(3-4), pp. 293-335, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
mathematical formalism, sample path arguments, scheduling, Control, discrete event system, queueing system, stochastic comparison |
21 | Richard Robinson, Devin Cook, Steven L. Tanimoto |
Programming Agents with Visual Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 13-20, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
visual programming facility, visual rule formalism, agent behaviour specification, program objects, Agentsheets system, Repenning, simulation design, two-dimensional cellular worlds, automobile traffic flow situations, Agent Builder, icon arrangement, worksheet, icon gallery, graphical user interfaces, programming environments, cellular automata, software agents, visual programming, visual languages, digital simulation, video games, agent programming |
21 | Xianwu Ma, Tom Hintz |
Re-Vision: a methodology and tool for parallel computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 369-378, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Re-Vision, behaviour-oriented formalism, multiple problem views, methodology specification, modeling, user interfaces, parallel programming, parallel computations, software tools, programming environments, metamodeling, computer aided software engineering, data transformation, complexity reduction, software engineering methodology, computer environment |
21 | Amit Basu, Robert W. Blanning |
Discovering implicit integrity constraints in rule bases using metagraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 321-329, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
implicit integrity constraints, metagraphs, graph formalism, if-then rules, metagraph representation, knowledge representation, graph theory, data integrity, knowledge based systems, knowledge based system, decision support systems, DSS, problem solving, integrity constraints, domain knowledge, rule bases, rule base |
21 | Debby Keen, Arcot Rajasekar |
Inductive certainty factors from databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 300-311, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
inductive certainty factors, missing information inference, statistical based measures, inductive dependencies, delta measurement, delta functions, knowledge mining formalism, databases, artificial intelligence, knowledge representation, knowledge acquisition, knowledge acquisition, deductive databases, inference mechanisms, uncertainty handling, intelligent information systems |
21 | Leo Mark, Roberta Cochrane |
Grammars and Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(9), pp. 840-849, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
grammar formalism, grammar-based tools, user interfaces, query processing, relational databases, relational model, context-free grammars, context-free grammars, hierarchical structure, complex objects, relational database systems, front ends, relational queries |
21 | Valerio Allegranza, Annelise Bech |
A treatment of unbounded dependencies in eurotra with an experimental coindexation tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 6(3), pp. 171-182, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
coindexation, Danish, Italian, unbounded dependencies, formalism, German |
21 | Doug Arnold, Louisa Sadler |
Transfer formalisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 6(3), pp. 193-200, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
cornpositionality, Dutch, formalism, constructivism, transfer, English |
21 | Nazim H. Madhavji, Wilhelm Schäfer |
Prism-Methodology and Process-Oriented Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(12), pp. 1270-1283, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
process-oriented environment, Prism model, product software process description, hybrid process modeling language, high-level Petri net formalism, software engineering, Petri nets, rules |
21 | Farhad S. Etessami, Gurdeep S. Hura 0001 |
Rule-Based Design Methodology for Solving Control Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(3), pp. 274-282, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
control problems, rule-based design methodology, abstract Petri nets, formalism tool, high-level interaction, elevator system, formal specification, Petri nets, specification, software tools, validation, knowledge engineering, dynamic behaviour |
21 | Reg G. Willson, Bruce H. Krogh |
Petri Net Tools for the Specification and Analysis of Discrete Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(1), pp. 39-50, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Petri net tools, discrete controllers, discrete-state systems, rule-based state-variable-specification formalism, interconnected state machines, reduced reachability graphs, discrete manufacturing systems, modeling, formal specification, Petri nets, specification, controllers, computerised control, discrete systems |
21 | Valeria De Antonellis, Bruna Zonta |
A Disciplined Approach to Office Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(8), pp. 822-828, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
office requirements, disciplined language, conventionality, concrete concepts, minimum formalism, computer-based office support system, designer, formal specification, programming languages, formal languages, morphology, computational linguistics, syntax, office automation |
21 | Lil Mohan, Rangasami L. Kashyap |
An Object-Oriented Knowledge Representation for Spatial Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(5), pp. 675-681, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
object-oriented knowledge representation, abstract formalism, pictorial information, conceptual abstractions, data structures, knowledge engineering, object-oriented method, knowledge model, spatial information |
19 | Philippe Beaucamps |
Extended recursion-based formalization of virus mutation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Virol. ![In: J. Comput. Virol. 5(3), pp. 209-219, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | David England, Martin Randles, A. Taleb-Bendiab |
Runtime user interface design and adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCS HCI ![In: Proceedings of the 2009 British Computer Society Conference on Human-Computer Interaction, BCS-HCI 2009, Cambridge, United Kingdom, 1-5 September 2009, pp. 463-470, 2009, ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
user interface description, situation calculus, runtime adaptation |
19 | Diego R. García, Alejandro Javier García, Guillermo Ricardo Simari |
Defeasible Reasoning and Partial Order Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings, pp. 311-328, 2008, Springer, 978-3-540-77683-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt |
Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings, pp. 178-198, 2008, Springer, 978-3-540-77683-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Michelle L. Crane, Jürgen Dingel |
UML vs. classical vs. rhapsody statecharts: not all models are created equal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 6(4), pp. 415-435, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Vladimir S. Lerner |
Information Systems Theory and Informational Macrodynamics: Review of the Main Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part C ![In: IEEE Trans. Syst. Man Cybern. Part C 37(6), pp. 1050-1066, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Gillian Dobbie, Jing Sun 0002, Yuan-Fang Li, Scott Uk-Jin Lee |
Research into Verifying Semistructured Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCIT ![In: Distributed Computing and Internet Technology, Third International Conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006, Proceedings, pp. 361-374, 2006, Springer, 3-540-68379-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
data model, semistructured data, automatic verification |
19 | Haibin Sun, Wenhui Li 0002 |
Spatial Reasoning Based on Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWINAC (1) ![In: Mechanisms, Symbols, and Models Underlying Cognition: First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part I, pp. 469-480, 2005, Springer, 3-540-26298-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Michelle L. Crane, Jürgen Dingel |
UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings, pp. 97-112, 2005, Springer, 3-540-29010-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Haibin Sun, Wenhui Li 0002 |
Heterogeneous Spatial Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings, pp. 836-847, 2005, Springer, 3-540-27326-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Mathias Röhl, Adelinde M. Uhrmacher |
Flexible integration of XML into modeling and simulation systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, pp. 1813-1820, 2005, IEEE Computer Society, 0-7803-9519-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Johan Bos |
Computational Semantics in Discourse: Underspecification, Resolution, and Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 13(2), pp. 139-157, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
discourse representation theory, scope ambiguities, structural ambiguities, theorem proving, inference, discourse analysis, computational semantics, underspecification, lexical ambiguities |
19 | Xiang Fu 0001, Tevfik Bultan, Jianwen Su |
Realizability of Conversation Protocols With Message Contents. ![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. 96-, 2004, IEEE Computer Society, 0-7695-2167-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale |
Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(3), pp. 270-287, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
parametric fault tree, stochastic well-formed nets, Dependability analysis |
19 | Hans Vangheluwe, Juan de Lara |
Foundations of multi-paradigm modeling and simulation: computer automated multi-paradigm modelling: meta-modelling and graph transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 35th Winter Simulation Conference: Driving Innovation, New Orleans, Louisiana, USA, December 7-10, 2003, pp. 595-603, 2003, IEEE Computer Society, 0-7803-8132-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Yao-Hua Tan, Walter Thoen |
Using Event Semantics for Modeling Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 35th Hawaii International Conference on System Sciences (HICSS-35 2002), CD-ROM / Abstracts Proceedings, 7-10 January 2002, Big Island, HI, USA, pp. 170, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Martin Leucker, P. Madhusudan, Supratik Mukhopadhyay |
Dynamic Message Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings, pp. 253-264, 2002, Springer, 3-540-00225-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Graham Clark, William H. Sanders |
Implementing a Stochastic Process Algebra within the Möbius Modeling Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAPM-PROBMIV ![In: Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings, pp. 200-216, 2001, Springer, 3-540-42556-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Pieter Jonker |
Morphological Operations on 3D and 4D Images: From Shape Primitive Detection to Skeletonization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 9th International Conference, DGCI 2000, Uppsala, Sweden, December 13-15, 2000, Proceedings, pp. 371-391, 2000, Springer, 3-540-41396-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm |
A Logic-Based Approach to Program Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 35(6), pp. 457-504, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens |
The Regular Real-Time Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings, pp. 580-591, 1998, Springer, 3-540-64781-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | John K. Debenham |
From Conceptual Model to Internal Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 10th International Symposium, ISMIS '97, Charlotte, North Carolina, USA, October 15-18, 1997, Proceedings, pp. 227-236, 1997, Springer, 3-540-63614-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Ramón P. Otero, Alvaro Barreiro, Herbert Praehofer, Franz Pichler, José Mira |
STIMS-MEDTOOL: Integration of Expert Systems with Systems Modelling and Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'93, A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26, 1993, Proceedings, pp. 347-356, 1993, Springer, 3-540-57601-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Françoise Gire, Hicham Idabal |
Regular tree patterns: a uniform formalism for update queries and functional dependencies in XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT/ICDT Workshops ![In: Proceedings of the 2010 EDBT/ICDT Workshops, Lausanne, Switzerland, March 22-26, 2010, 2010, ACM, 978-1-60558-990-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
regular tree pattern, update query, XML, functional dependency |
18 | |
Computer-Interpretable Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 432, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Koen V. Hindriks, Tijmen Roberti |
GOAL as a Planning Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATES ![In: Multiagent System Technologies, 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings, pp. 29-40, 2009, Springer, 978-3-642-04142-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Peter Ljunglöf, Staffan Larsson |
A Grammar Formalism for Specifying ISU-Based Dialogue Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GoTAL ![In: Advances in Natural Language Processing, 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings, pp. 303-314, 2008, Springer, 978-3-540-85286-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Rolf Grütter, Bettina Bauer-Messmer, Martin Hägeli |
Extending an ontology-based search with a formalism for spatial reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 2266-2270, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
national spatial data infrastructure, ontology-based search, region connection calculus, spatioterminological reasoning |
18 | María Adela Grando, David Glasspool, John Fox 0001 |
Petri Nets as a Formalism for Comparing Expressiveness of Workflow-Based Clinical Guideline Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers, pp. 348-360, 2008, Springer, 978-3-642-00327-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Clinical process modelling, care pathways, petri nets, workflow patterns |
18 | Caiquan Xiong, Ying Pan, Dehua Li |
A Discussion Information-Structuring Model Based on the Toulmin Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WKDD ![In: Proceedings of the International Workshop on Knowledge Discovery and Data Mining, WKDD 2008, Adelaide, Australia, 23-24 January 2008, pp. 268-273, 2008, IEEE Computer Society, 0-7695-3090-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Hailong Wang, Zong Min Ma 0001, Li Yan 0001, Jingwei Cheng |
A Unified Formalism for Fuzzy Data Types Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 1, pp. 167-171, 2008, IEEE Computer Society, 978-0-7695-3305-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Mahdi Niamanesh, Rasool Jalili |
A Formalism for Recongurability Analysis in Distributed Non-Blocking Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 17-20 June 2008, Beijing, China, pp. 453-458, 2008, IEEE Computer Society, 978-0-7695-3173-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Cleber V. G. Mira, Zanoni Dias, Hederson P. Santos, Guilherme A. Pinto, Maria Emília M. T. Walter |
Transposition Distance Based on the Algebraic Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BSB ![In: Advances in Bioinformatics and Computational Biology, Third Brazilian Symposium on Bioinformatics, BSB 2008, Santo André, Brazil, August 28-30, 2008. Proceedings, pp. 115-126, 2008, Springer, 978-3-540-85556-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Yngve Dahl, Dag Svanæs |
Visualizing Interaction in Digitally Augmented Spaces: Steps Toward a Formalism for Location-Aware and Token-Based Interactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (2) ![In: Human-Computer Interaction. Interaction Platforms and Techniques, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II, pp. 569-578, 2007, Springer, 978-3-540-73106-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Ubiquitous computing, Interaction design, Visual design, Embodied interaction, Modeling formalisms |
18 | Tsz-Chiu Au, Dana S. Nau |
Reactive Query Policies: A Formalism for Planning with Volatile External Information. ![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. 243-250, 2007, IEEE, 1-4244-0705-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Yufang Bao, Andrew Maudsley |
Image Reconstruction in the Grappa Algorithm Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2007 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Washington, DC, USA, April 12-16, 2007, pp. 113-116, 2007, IEEE, 1-4244-0672-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Thierry Antoine-Santoni, Jean François Santucci, Emmanuelle de Gentili, Bernadette Costa |
Modelling & simulation oriented components of wireless sensor network using DEVS formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (2) ![In: Proceedings of the 2007 Spring Simulation Multiconference, SpringSim 2007, Norfolk, Virginia, USA, March 25-29, 2007, Volume 2, pp. 299-306, 2007, SCS/ACM, 1-56555-313-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
WSN, components, routing protocol, DEVS |
18 | Mickaël Bureau, Stéphane Dauzère-Pérès, Claude Yugma, Leon Vermariën, Jean-Bernard Maria |
Simulation results and formalism for global-local scheduling in semiconductor manufacturing facilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference, WSC 2007, Washington, DC, USA, December 9-12, 2007, pp. 1768-1773, 2007, WSC, 1-4244-1306-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Yacine Sam, Omar Boucelma |
Customizable Web Services Description, Discovery and Composition : An Attribute Based Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2007 IEEE / WIC / ACM International Conference on Web Intelligence, WI 2007, 2-5 November 2007, Silicon Valley, CA, USA, Main Conference Proceedings, pp. 143-146, 2007, IEEE Computer Society, 0-7695-3026-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Matthias Heindl, Stefan Biffl |
Modeling of Requirements Tracing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEE-SET ![In: Balancing Agility and Formalism in Software Engineering, Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers, pp. 267-278, 2007, Springer, 978-3-540-85278-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Software Requirements Tracing, Re-Test, Tracing Activity Model, Feasibility study |
18 | Pinar Senkul |
CompositeWeb Service Construction by Using a Logical Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE Workshops ![In: Proceedings of the 22nd International Conference on Data Engineering Workshops, ICDE 2006, 3-7 April 2006, Atlanta, GA, USA, pp. 56, 2006, IEEE Computer Society, 0-7695-2571-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Marina Flores-Badillo, Mayra Padilla-Duarte, Ernesto López-Mellado |
Modeling and Simulation of Mobile Agents Systems Using a Multi-level Net Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2006: Advances in Artificial Intelligence, 5th Mexican International Conference on Artificial Intelligence, Apizaco, Mexico, November 13-17, 2006, Proceedings, pp. 1128-1138, 2006, Springer, 3-540-49026-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Ronald E. Giachetti |
Understanding Interdependence in Enterprise Systems: A Model and Measurement Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006, Proceedings, pp. 261-272, 2006, Springer, 3-540-38444-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
modeling, measurement, Enterprise Systems |
18 | Zeeshan Furqan, Shahabuddin Muhammad, Ratan K. Guha |
Formal Verification of 802.11i using Strand Space Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN/ICONS/MCL ![In: Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 23-29 April 2006, Mauritius, pp. 140, 2006, IEEE Computer Society, 0-7695-2552-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | William B. Gardner |
Converging CSP specifications and C++ programming via selective formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 4(2), pp. 302-330, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
hardware/software codesign, Executable specifications, object-oriented application frameworks |
18 | Nadim Obeid |
A Formalism for Representing and Reasoning with Temporal Information, Event and Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 23(2), pp. 109-119, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
three-valued, event, change, temporal, nonmonotonic |
18 | Paul Cotofrei, Kilian Stoffel |
First-Order Logic Based Formalism for Temporal Data Mining *. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Data Mining and knowledge Discovery ![In: Foundations of Data Mining and knowledge Discovery, pp. 185-210, 2005, Springer, 978-3-540-26257-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Marco Gribaudo, Daniele Codetta Raiteri, Giuliana Franceschinis |
Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy, pp. 257-258, 2005, IEEE Computer Society, 0-7695-2427-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Mutsuko Tomokiyo, Gérard Chollet |
VoiceUNL: A Semantic Representation of Emotions Within Universal Networking Language Formalism Based on a Dialogue Corpus Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICLing ![In: Computational Linguistics and Intelligent Text Processing, 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005, Proceedings, pp. 441-451, 2005, Springer, 3-540-24523-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Elisangela Mieko Kanacilo, Alexander Verbraeck |
A distributed multi-formalism simulation to support rail infrastructure control design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, pp. 2546-2553, 2005, IEEE Computer Society, 0-7803-9519-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Mark Fleischer |
Scale invariant pareto optimality: a meta--formalism for characterizing and modeling cooperativity in evolutionary systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 233-240, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
pareto optima, multi-objective optimization, self-organization, swarm intelligence, complex systems, self-organized criticality |
18 | John D. Carter, Ming Xu, William B. Gardner |
Rapid Prototyping of Embedded Software Using Selective Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 8-10 June 2005, Montreal, Canada, pp. 99-104, 2005, IEEE Computer Society, 0-7695-2361-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Xiaoqin Zeng, Kang Zhang 0001, Jun Kong, Guang-Lei Song |
RGG+: An Enhancement to the Reserved Graph Grammar Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 21-24 September 2005, Dallas, TX, USA, pp. 272-274, 2005, IEEE Computer Society, 0-7695-2443-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Salim Chitroub |
Contextual classifier combination by Markov random fields-Bayes formalism and evolutionary programming. Application: image classification enhancement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), January 3-6, 2005, Cairo, Egypt, pp. 129, 2005, IEEE Computer Society, 0-7803-8735-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | David Safránek, Jirí Simsa |
VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2005: Theory and Practice of Computer Science, 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Proceedings, pp. 320-329, 2005, Springer, 3-540-24302-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Hessam S. Sarjoughian, Dongping Huang |
A Multi-Formalism Modeling Composability Framework: Agent and Discrete-Event Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-RT ![In: 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2005), 10-12 October 2005, Montreal, Canada, pp. 249-256, 2005, IEEE Computer Society, 0-7695-2462-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Anke Dittmar, Peter Forbrig |
A unified description formalism for complex HCI-systems. ![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. 342-351, 2005, IEEE Computer Society, 0-7695-2435-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Formal models of interactive systems, Integration of HCI theories, Human- Computer Interaction (HCI) |
18 | Silvana Castano, Alfio Ferrara, Goffredo Haus, Luca A. Ludovico, Stefano Montanelli, Gianpaolo Racca, Giancarlo Vercellesi |
The MX Formalism for Semantic Web Compatible Representation of Music Metadata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multimedia Information Systems ![In: Advances in Multimedia Information Systems, 11th International Workshop, MIS 2005, Sorrento, Italy, September 19-21, 2005, Proceedings, pp. 78-92, 2005, Springer, 3-540-28792-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Gennaro Costagliola, Vincenzo Deufemia, Michele Risi |
Sketch Grammars: A Formalism for Describing and Recognizing Diagrammatic Sketch Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Eighth International Conference on Document Analysis and Recognition (ICDAR 2005), 29 August - 1 September 2005, Seoul, Korea, pp. 1226-1231, 2005, IEEE Computer Society, 0-7695-2420-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Xi Chen 0024, Harry Hsieh, Felice Balarin, Yosinori Watanabe |
Logic of constraints: a quantitative performance and functional constraint formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23(8), pp. 1243-1255, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Torsten Kröger, Bernd Finkemeyer, Friedrich M. Wahl |
A Task Frame Formalism for Practical Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 5218-5223, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Lu Yan, Kaisa Sere |
A Formalism for Context-Aware Mobile Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPDC/HeteroPar ![In: 3rd International Symposium on Parallel and Distributed Computing (ISPDC 2004), 3rd International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogenous Networks (HeteroPar 2004), 5-7 July 2004, Cork, Ireland, pp. 14-21, 2004, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Baohong Liu, Kedi Huang |
A Formal Description Specification for Multi-resolution Modeling (MRM) Based on DEVS Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIS ![In: Artificial Intelligence and Simulation, 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers, pp. 285-294, 2004, Springer, 3-540-24476-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Sangjoon Park, Kwanjoong Kim |
DEVS Formalism: A Hierarchical Generation Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIS ![In: Artificial Intelligence and Simulation, 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers, pp. 253-261, 2004, Springer, 3-540-24476-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Alexander F. Gelbukh, Grigori Sidorov, Sang-Yong Han, Erika Hernández-Rubio |
Automatic Enrichment of Very Large Dictionary of Word Combinations on the Basis of Dependency Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2004: Advances in Artificial Intelligence, Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004, Proceedings, pp. 430-437, 2004, Springer, 3-540-21459-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Spanish, parsing, Collocations, dependency grammar |
18 | Petr Aubrecht, Lubos Kral |
Ontology Formalism Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 15th International Workshop on Database and Expert Systems Applications (DEXA 2004), with CD-ROM, 30 August - 3 September 2004, Zaragoza, Spain, pp. 95-99, 2004, IEEE Computer Society, 0-7695-2195-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Vicente Luque Centeno, Carlos Delgado Kloos, Luis Sánchez Fernández 0001, Norberto Fernández García |
MSC-Based Formalism for Automated Web Navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Web Engineering - 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings, pp. 591-592, 2004, Springer, 3-540-22511-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Ambar A. Gadkari, S. Ramesh 0001, Rubin A. Parekhji |
CESC: a visual formalism for specification and verification of SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 14th ACM Great Lakes Symposium on VLSI 2004, Boston, MA, USA, April 26-28, 2004, pp. 354-357, 2004, ACM, 1-58113-853-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
verification, specification, visual languages, system-level design |
18 | Ioannis Tsamardinos, Thierry Vidal, Martha E. Pollack |
CTP: A New Constraint-Based Formalism for Conditional, Temporal Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 8(4), pp. 365-388, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
constraint-based planning, conditional planning, temporal reasoning |
18 | Martin Haenggi |
A Formalism for the Analysis and Design of Time and Path Diversity Schemes in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Information Processing in Sensor Networks, Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22-23, 2003, Proceedings, pp. 417-431, 2003, Springer, 3-540-02111-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | William B. Gardner |
Bridging CSP and C++ with Selective Formalism and Executable Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings, pp. 237-, 2003, IEEE Computer Society, 0-7695-1923-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Wei Zhao 0002 |
A language based formalism for domain driven development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA, pp. 388-389, 2003, ACM, 1-58113-751-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
4Compiler, 4th generation languages, generative domain model, feature model, domain engineering, two-level grammar, application engineering |
Displaying result #101 - #200 of 5053 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|