|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 981 occurrences of 715 keywords
|
|
|
Results
Found 1270 publication records. Showing 1270 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
8 | Peter Dolog, Jan Stage |
Designing Interaction Spaces for Rich Internet Applications with UML. |
ICWE |
2007 |
DBLP DOI BibTeX RDF |
software design, Rich Internet Applications, state diagrams, interaction spaces |
8 | Khoo Eng Tat, Tim Robert Merritt, Adrian David Cheok, Mervyn Lian, Kelvin Yeo |
Age Invaders: User Studies of Intergenerational Computer Entertainment. |
ICEC |
2007 |
DBLP DOI BibTeX RDF |
Mixed reality entertainment, family entertainment, user-centered design, social computing, game play |
8 | Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira |
Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles. |
ECSA |
2007 |
DBLP DOI BibTeX RDF |
publish/subscribe style, style composition, software architecture, formal specification, architecture modeling, graph rewriting, dynamic architecture |
8 | Dragan Gasevic, Nima Kaviani, Marek Hatala |
On Metamodeling in Megamodels. |
MoDELS |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Christophe Lecoutre, Stéphane Cardon, Julien Vion |
Path Consistency by Dual Consistency. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Lana Abadie, Paolo Badino, Jean-Philippe Baud, Ezio Corso, Matt Crawford, Shaun De Witt, Flavia Donno, Alberto Forti, Ákos Frohner, Patrick Fuhrmann, Gilbert Grosdidier, Junmin Gu, Jens Jensen, Birger Koblitz, Sophie Lemaitre, Maarten Litmaath, Dmitry Litvintsev, Giuseppe Lo Presti, Luca Magnoni, Tigran Mkrtchyan, Alexander Moibenko, Rémi Mollon, Vijaya Natarajan, Gene Oleynik, Timur Perelmutov, Donald Petravick, Arie Shoshani, Alex Sim, David E. Smith 0003, Massimo Sponza, Paolo Tedesco, Riccardo Zappi |
Storage Resource Managers: Recent International Experience on Requirements and Multiple Co-Operating Implementations. |
MSST |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Md Mahmudur Rahman 0003, Varun Sood, Bipin C. Desai, Prabir Bhattacharya |
Cross-Modal Interaction and Integration with Relevance Feedback for Medical Image Retrieval. |
MMM (1) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Sandip Ray, Jayanta Bhadra |
A Mechanized Refinement Framework for Analysis of Custom Memories. |
FMCAD |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Colin F. Snook, Marina Waldén |
Refinement of Statemachines Using Event B Semantics. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Angélica Caro, Coral Calero, Juan Enriquez de Salamanca, Mario Piattini |
Refinement of a Tool to Assess the Data Quality in Web Portals. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Krzysztof Niski, Budirijanto Purnomo, Jonathan D. Cohen 0001 |
Multi-grained level of detail using a hierarchical seamless texture atlas. |
SI3D |
2007 |
DBLP DOI BibTeX RDF |
level of detail, parametrization, out-of-core, geometry image, texture atlas |
8 | James Decraene, George G. Mitchell, Barry McMullin, Ciaran Kelly |
The Holland Broadcast Language and the Modeling of Biochemical Networks. |
EuroGP |
2007 |
DBLP DOI BibTeX RDF |
Broadcast Language, biochemical networks modeling, adaptable representation |
8 | Neculai Curteanu, Diana Trandabat, Mihai Alex Moruz |
Topic-Focus Articulation Algorithm on the Syntax-Prosody Interface of Romanian. |
TSD |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Susmit Jha, Bryan A. Brady, Sanjit A. Seshia |
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Philippe Cuenot, De-Jiu Chen, Sébastien Gérard, Henrik Lönn, Mark-Oliver Reiser, David Servat, Carl-Johan Sjöstedt, Ramin Tavakoli Kolagari, Martin Törngren, Matthias Weber 0001 |
Managing Complexity of Automotive Electronics Using the EAST-ADL. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Peter F. Linington, Pulitha Lakmith Liyanagama |
Incorporating Security Behaviour into Business Models Using a Model Driven Approach. |
EDOC |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Anders Jonsson 0001, Andrew G. Barto |
Active Learning of Dynamic Bayesian Networks in Markov Decision Processes. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Rolf Hennicker, Alexander Knapp |
Activity-Driven Synthesis of State Machines. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
8 | John P. May, David Saunders 0002, Zhendong Wan |
Efficient matrix rank computation with application to the study of strongly regular graphs. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
matrix p-rank, out of core methods |
8 | Patrice Perny, Olivier Spanjaard, Louis-Xavier Storme |
A decision-theoretic approach to robust optimization in multivalued graphs. |
Ann. Oper. Res. |
2006 |
DBLP DOI BibTeX RDF |
Lorenz optima, k best solutions, Shortest path, Minimum spanning tree, Robust optimization, Multicriteria optimization |
8 | Gianni Bosi, Gerhard Herden |
On a Possible Continuous Analogue of the Szpilrajn Theorem and its Strengthening by Dushnik and Miller. |
Order |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 54F05, 06A05, 91B16 |
8 | Arindam Banerjee 0001, Joydeep Ghosh |
Scalable Clustering Algorithms with Balancing Constraints. |
Data Min. Knowl. Discov. |
2006 |
DBLP DOI BibTeX RDF |
scalable clustering, balanced clustering, sampling, text clustering, constrained clustering, stable marriage problem |
8 | Stefaan Caenepeel, D. Quinn, S. Raianu |
Duality for Finite Hopf Algebras Explained by Corings. |
Appl. Categorical Struct. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 16W30, 16S40 |
8 | Chao Wang 0001, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi |
Compositional SCC Analysis for Language Emptiness. |
Formal Methods Syst. Des. |
2006 |
DBLP DOI BibTeX RDF |
language emptiness, model checking, BDD, LTL, abstraction refinement |
8 | Matthias Grossglauser, Martin Vetterli |
Locating mobile nodes with EASE: learning efficient routes from encounter histories alone. |
IEEE/ACM Trans. Netw. |
2006 |
DBLP DOI BibTeX RDF |
routing, mobility, location service, mobile wireless networks |
8 | Roberto Cordone, Marco Trubian |
An exact algorithm for the node weighted Steiner tree problem. |
4OR |
2006 |
DBLP DOI BibTeX RDF |
Prize collecting, Relax-and-cut, Steiner problem |
8 | Ron Shaw, Neil A. Gordon |
The Polynomial Degree of the GrassmannianG1, n, 2. |
Des. Codes Cryptogr. |
2006 |
DBLP DOI BibTeX RDF |
05C90, 11G25, 14M15, AMS Classification 51E20 |
8 | Jesper W. Schneider |
Concept symbols revisited: Naming clusters by parsing and filtering of noun phrases from citation contexts of concept symbols. |
Scientometrics |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Jordi Conesa, Antoni Olivé |
A Method for Pruning Ontologies in the Development of Conceptual Schemas of Information Systems. |
J. Data Semantics |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Olivier Pietquin, Thierry Dutoit |
A probabilistic framework for dialog simulation and optimal strategy learning. |
IEEE Trans. Speech Audio Process. |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Zhendong Yang, Wei Pang, Jinhua Du, Wei Wei 0036, Bo Xu 0002 |
Some Improvements in Phrase-Based Statistical Machine Translation. |
ISCSLP |
2006 |
DBLP DOI BibTeX RDF |
phrase-based translation, minimum error rate training, phrase-template, re-scoring |
8 | Francisco Nivando Bezerra, E. Werbet, W. B. Silva |
Client-side content-based refinement for image search in the web. |
WebMedia |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Eugene Inseok Chong, Souripriya Das, George Eadon, Jagannathan Srinivasan |
Supporting Keyword Columns with Ontology-based Referential Constraints in DBMS. |
ICDE |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Jyotishman Pathak, Samik Basu 0001, Robyn R. Lutz, Vasant G. Honavar |
MoSCoE: A Framework for Modeling Web Service Composition and Execution. |
ICDE Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Huang-Ming Huang, Christopher D. Gill |
Design and Performance of a Fault-Tolerant Real-Time CORBA Event Service. |
ECRTS |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble |
Aspects and Data Refinement. |
MPC |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Larissa Meinicke, Ian J. Hayes |
Continuous Action System Refinement. |
MPC |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Jim Woodcock 0001, Leo Freitas |
Z/Eves and the Mondex Electronic Purse. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
electronic finance, software archaeology, the Z notation, Z/Eves, security, refinement, theorem proving, smart cards, Grand Challenge, Verified Software Repository, Mondex |
8 | Junhyung Um, Woo-Cheol Kwon, Sungpack Hong, Young-Taek Kim, Kyu-Myung Choi, Jeong-Taek Kong, Soo-Kwan Eo, Taewhan Kim |
A systematic IP and bus subsystem modeling for platform-based system design. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Zhonghai Lu, Ingo Sander, Axel Jantsch |
Towards Performance-Oriented Pattern-Based Refinement of Synchronous Models onto NoC Communication. |
DSD |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Thomas Santen |
Stepwise Development of Secure Systems. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Tim McComb, Graeme Smith 0001 |
Compositional Class Refinement in Object-Z. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Sotirios Liaskos, Alexei Lapouchnian, Yijun Yu, Eric S. K. Yu, John Mylopoulos |
On Goal-based Variability Acquisition and Analysis. |
RE |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Cormac Flanagan |
Hybrid type checking. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
dynamic checking, type systems, contracts, static checking |
8 | Bin Liu 0007, Yici Cai, Qiang Zhou 0001, Xianlong Hong |
Power driven placement with layout aware supply voltage assignment for voltage island generation in Dual-Vdd designs. |
ASP-DAC |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Stefan Edelkamp, Shahid Jabbar |
Large-Scale Directed Model Checking LTL. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Antoine Vacavant, David Coeurjolly, Laure Tougne |
Dynamic Reconstruction of Complex Planar Objects on Irregular Isothetic Grids. |
ISVC (2) |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Mohamed Ali Kâafar, Thierry Turletti, Walid Dabbous |
A Locating-First Approach for Scalable Overlay Multicast. |
IWQoS |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Greg Reeve, Steve Reeves |
Logic and refinement for charts. |
ACSC |
2006 |
DBLP BibTeX RDF |
ZC, refinement, logic, statecharts, reactive systems, Z |
8 | Christian Prehofer |
Semantic reasoning about feature composition via multiple aspect-weavings. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
feature composition, semantic reasoning and refinement, aspect-oriented programming, feature interaction, feature-oriented programming, modular reasoning, aspect weaving |
8 | Manoranjan Satpathy, Qaisar A. Malik, Johan Lilius |
Synthesis of Scenario Based Test Cases from B Models. |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
Scenarios, Model Based Testing, B-Method |
8 | Junping Zhang, Dewang Chen |
Constraint K-Segment Principal Curves. |
ICIC (1) |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Duen Horng Chau, Jacob O. Wobbrock, Brad A. Myers, Brandon Rothrock |
Integrating isometric joysticks into mobile phones for text entry. |
CHI Extended Abstracts |
2006 |
DBLP DOI BibTeX RDF |
mobile phones, gestures, text entry, pointing, cell phones, text input, Pebbles, unistrokes, EdgeWrite, isometric joysticks, crossing |
8 | Ylva Fernaeus, Jakob Tholander |
Finding design qualities in a tangible programming space. |
CHI |
2006 |
DBLP DOI BibTeX RDF |
tangible programming, tangible user interfaces, embodied interaction |
8 | Maria Luisa Bonet, Jordi Levy, Felip Manyà |
A Complete Calculus for Max-SAT. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Alexander Scivos |
Reachability and Dependency Calculi: Reasoning in Network Algebras. |
Spatial Cognition |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Samin Karim, Budhitama Subagdja, Liz Sonenberg |
Plans as Products of Learning. |
IAT |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Craig A. Knoblock, Cyrus Shahabi, Ching-Chien Chen, E. Lynn Usery |
Automatic alignment of vector data and orthoimagery for the national map. |
DG.O |
2006 |
DBLP DOI BibTeX RDF |
orthoimagery, alignment, vector data, conflation |
8 | Stefan Siersdorfer, Sergej Sizov |
Automatic Document Organization in a P2P Environment. |
ECIR |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Monika Záková, Filip Zelezný, Javier A. García-Sedano, Cyril Masia Tissot, Nada Lavrac, Petr Kremen, Javier Molina |
Relational Data Mining Applied to Virtual Engineering of Product Designs. |
ILP |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Mirja Pulkkinen |
Systemic Management of Architectural Decisions in Enterprise Architecture Planning. Four Dimensions and Three Abstraction Levels. |
HICSS |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Takeshi Matsumoto, Hiroshi Saito, Masahiro Fujita |
Equivalence Checking of C Programs by Locally Performing Symbolic Simulation on Dependence Graphs. |
ISQED |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Boris Jansen, Kenji Nakayama |
An Adaptive Penalty-Based Learning Extension for Backpropagation and its Variants. |
IJCNN |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Jan Struyf, Jesse Davis, C. David Page Jr. |
An Efficient Approximation to Lookahead in Relational Learners. |
ECML |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Mustafa Jarrar, Stijn Heymans |
Unsatisfiability Reasoning in ORM Conceptual Schemes. |
EDBT Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Philip Miseldine, A. Taleb-Bendiab |
CA-SPA: Balancing the Crosscutting Concerns of Governance and Autonomy in Trusted Software. |
AINA (2) |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Pierre Gurdjos, Peter F. Sturm, Yihong Wu 0002 |
Euclidean Structure from N geq 2 Parallel Circles: Theory and Algorithms. |
ECCV (1) |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Hui Ma 0001, Klaus-Dieter Schewe, Jane Zhao |
View Integration in Data Warehouse Design Using Typed Abstract State Machines and Strong Data Refinement. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
Design, Refinement, Data Warehouse, Types, Abstract State Machines |
8 | Gabriel Antoniu, Loïc Cudennec, Sébastien Monnet |
A Practical Evaluation of a Data Consistency Protocol for Efficient Visualization in Grid Applications. |
VECPAR |
2006 |
DBLP DOI BibTeX RDF |
code-coupling applications, visualization, grid, Data consistency |
8 | Bruno Girodias, El Mostapha Aboulhamid, Gabriela Nicolescu |
A Platform for Refinement of OS Services for Embedded Systems. |
DELTA |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Claudia Pons |
Heuristics on the Definition of UML Refinement Patterns. |
SOFSEM |
2006 |
DBLP DOI BibTeX RDF |
|
8 | David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira |
Automation of Java Card component development using the B method. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Ahmed Amine Jerraya, Aimen Bouchhima, Frédéric Pétrot |
Programming models and HW-SW interfaces abstraction for multi-processor SoC. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
HW/SW interfaces, programming models, heterogeneous MPSoC |
8 | Andreas Herzig, Nicolas Troquard |
Knowing how to play: uniform choices in logics of agency. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
modal logic, logics for agent systems, formal models of agency |
8 | Gianni Bosi, Gerhard Herden |
On a Strong Continuous Analogue of the Szpilrajn Theorem and its Strengthening by Dushnik and Miller. |
Order |
2005 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 54F05, 06A05, 91B16 |
8 | Guang-Ping Qin, Jin-Zhao Wu |
Action Refinement for Real-Time Concurrent Processes with Urgency. |
J. Comput. Sci. Technol. |
2005 |
DBLP DOI BibTeX RDF |
timed event, real-time process algebra, structure, action refinement, urgency |
8 | Andy Way, Nano Gough |
Controlled Translation in an Example-based Environment: What do Automatic Evaluation Metrics Tell Us? |
Mach. Transl. |
2005 |
DBLP DOI BibTeX RDF |
controlled translation, Marker Hypothesis, evaluation, example-based MT |
8 | Fabio Cuzzolin |
Algebraic structure of the families of compatible frames of discernment. |
Ann. Math. Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
AMS subject classification (2000) 60D05, 28E10, 06C10, 68T37 |
8 | Gergely Korodi, Ioan Tabus |
An efficient normalized maximum likelihood algorithm for DNA sequence compression. |
ACM Trans. Inf. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Approximate sequence matching, DNA compression, normalized maximum likelihood model |
8 | Ingrid Verbauwhede, Patrick Schaumont |
Skiing the embedded systems mountain. |
ACM Trans. Embed. Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Education, design space exploration, cosimulation |
8 | Chen Fu, Ana L. Milanova, Barbara G. Ryder, David Wonnacott |
Robustness Testing of Java Server Applications. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
def-use testing, test coverage metrics, Java, Reliability, exceptions |
8 | Ziyou Xiong |
Audio-visual sports highlights extraction using Coupled Hidden Markov Models. |
Pattern Anal. Appl. |
2005 |
DBLP DOI BibTeX RDF |
|
8 | Antonio Cerone, George J. Milne |
Property verification of asynchronous systems. |
Innov. Syst. Softw. Eng. |
2005 |
DBLP DOI BibTeX RDF |
asynchronous hardware, Formal verification, process algebra, constraint modelling |
8 | Jamie L. Smith, Shawn A. Bohner, D. Scott McCrickard |
Toward Introducing Notification Technology into Distributed Project Teams. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
8 | John Carroll 0001, Stephan Oepen |
High Efficiency Realization for a Wide-Coverage Unification Grammar. |
IJCNLP |
2005 |
DBLP DOI BibTeX RDF |
|
8 | Egon Börger |
Linking the Meaning of Programs to What the Compiler Can Verify. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
8 | Anubhav Gupta 0001, Ofer Strichman |
Abstraction Refinement for Bounded Model Checking. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
8 | Michael Altenhofen, Egon Börger, Jens Lemcke |
An Abstract Model for Process Mediation. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
8 | Kevin K. Chang, Nithya Ramanathan, Deborah Estrin, Jens Palsberg |
D.A.S.: deployment analysis system. |
SenSys |
2005 |
DBLP DOI BibTeX RDF |
data mining, sensor network, visualization, debugging, analysis, deployment |
8 | Imene Jaballah, Sally Jo Cunningham, Ian H. Witten |
Managing Personal Documents with a Digital Library. |
ECDL |
2005 |
DBLP DOI BibTeX RDF |
|
8 | Sing-Hoi Sze, Yue Lu, Qingwu Yang |
A Polynomial Time Solvable Formulation of Multiple Sequence Alignment. |
RECOMB |
2005 |
DBLP DOI BibTeX RDF |
|
8 | Lawrence Cabac, Michael Duvigneau, Daniel Moldt, Heiko Rölke |
Modeling Dynamic Architectures Using Nets-Within-Nets. |
ICATPN |
2005 |
DBLP DOI BibTeX RDF |
|
8 | G. Rajeshwari, Santonu Sarkar |
SAM: A Tool for Software Architecture Modeling and Performance Analysis. |
QEST |
2005 |
DBLP DOI BibTeX RDF |
|
8 | William L. Harrison, James Hook |
Achieving Information Flow Security through Precise Control of Effects. |
CSFW |
2005 |
DBLP DOI BibTeX RDF |
|
8 | Wei Zhang 0004, Hong Mei 0001, Haiyan Zhao |
A Feature-Oriented Approach to Modeling Requirements Dependencies. |
RE |
2005 |
DBLP DOI BibTeX RDF |
|
8 | Hasan Ogul, Ü. Erkan Mumcuoglu |
Protein Solvent Accessibility Prediction Using Support Vector Machines and Sequence Conservations. |
TAINN |
2005 |
DBLP DOI BibTeX RDF |
|
8 | Julia Padberg, Hans-Jörg Kreowski |
Loose Semantics of Petri Nets. |
Formal Methods in Software and Systems Modeling |
2005 |
DBLP DOI BibTeX RDF |
|
8 | Juanjuan Jiang, Tarja Systä |
UML-Based Modeling and Validity Checking of Web Service Descriptions. |
ICWS |
2005 |
DBLP DOI BibTeX RDF |
|
8 | Andrew W. Moore 0002, Denis Zuev |
Internet traffic classification using bayesian analysis techniques. |
SIGMETRICS |
2005 |
DBLP DOI BibTeX RDF |
internet traffic, traffic identification, flow classification |
8 | Michael Y. K. Cheng, Chris Micacchi, Robin Cohen |
Adjusting the Autonomy of Collections of Agents in Multiagent Systems. |
Canadian AI |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #801 - #900 of 1270 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|