|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 323 occurrences of 275 keywords
|
|
|
Results
Found 629 publication records. Showing 628 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Jackson Marques de Carvalho, Helmut Jürgensen |
A Dynamical Document Structure to Capture the Semantics of Mathematical Concepts. |
ACHI |
2008 |
DBLP DOI BibTeX RDF |
grammar fragments, attributed context-free grammars, meaning-to-syntax binding, extensibility, incremental update, meta-structure, authoring model |
12 | He Zhang 0001, Barbara A. Kitchenham, Dietmar Pfahl |
Reflections on 10 Years of Software Process Simulation Modeling: A Systematic Review. |
ICSP |
2008 |
DBLP DOI BibTeX RDF |
ProSim, systematic literature review, software process simulation |
12 | Helene Schilke, Achim Rettberg, Florian Dittmann 0001 |
Towards a Petri Net Based Approach to Model and Synthesise Dynamic Reconfiguration for FPGAs. |
DELTA |
2008 |
DBLP DOI BibTeX RDF |
Model-based Design Flow, FPGA, Petri-net, Dynamic Reconfiguration |
12 | Tobias Josef Brunner, Ross Purves |
Spatial autocorrelation and toponym ambiguity. |
GIR |
2008 |
DBLP DOI BibTeX RDF |
toponym disambiguation, toponym resolution, distance, gir |
12 | Concepció Roig, Ana Ripoll, Fernando Guirado |
A New Task Graph Model for Mapping Message Passing Applications. |
IEEE Trans. Parallel Distributed Syst. |
2007 |
DBLP DOI BibTeX RDF |
modelling message-passing programs, program behaviour, task concurrency, static mapping, Task graphs, mapping algorithms |
12 | Hanno Scharwächter, David Kammler, Andreas Wieferink, Manuel Hohenauer, Kingshuk Karuri, Jianjiang Ceng, Rainer Leupers, Gerd Ascheid, Heinrich Meyr |
ASIP architecture exploration for efficient IPSec encryption: A case study. |
ACM Trans. Embed. Comput. Syst. |
2007 |
DBLP DOI BibTeX RDF |
computer-aided design, ADL, ASIP, IPSec |
12 | Chao Wang 0001, Zijiang Yang 0006, Franjo Ivancic, Aarti Gupta |
Disjunctive image computation for software verification. |
ACM Trans. Design Autom. Electr. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Model checking, formal verification, binary decision diagram, reachability analysis, image computation |
12 | Jifeng He 0001, Huibiao Zhu, Geguang Pu |
A model for BPEL-like languages. |
Frontiers Comput. Sci. China |
2007 |
DBLP DOI BibTeX RDF |
observation-oriented semantics, BPEL, compensation, fault handling, algebraic laws |
12 | Soo-Young Lee |
Artificial Brain and OfficeMate TR based on Brain Information Processing Mechanism. |
Challenges for Computational Intelligence |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Mehul Bhatt, J. Wenny Rahayu, Sury Prakash Soni, Carlo Wouters |
OntoMove: A Knowledge Based Framework for Semantic Requirement Profiling and Resource Acquisition. |
ASWEC |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Yunwen Ye, Yasuhiro Yamamoto, Kumiyo Nakakoji, Yoshiyuki Nishinaka, Mitsuhiro Asada |
Searching the library and asking the peers: learning to use Java APIs on demand. |
PPPJ |
2007 |
DBLP DOI BibTeX RDF |
Java API, software reuse, expertise location, peer support |
12 | Alexei Iliasov, Alexander B. Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna |
On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. |
ISORC |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Thomas A. M. Bernard, Chris R. Jesshope, Peter M. W. Knijnenburg |
Strategies for Compiling µ TC to Novel Chip Multiprocessors. |
SAMOS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | David Gay, Robert Ennals, Eric A. Brewer |
Safe manual memory management. |
ISMM |
2007 |
DBLP DOI BibTeX RDF |
C, safety, memory management, reference counting |
12 | Jennifer Stoll, Dave McColgin, Michelle Gregory, Vern Crow, W. Keith Edwards |
Adapting Personas for Use in Security Visualization Design. |
VizSEC |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach |
Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Makoto Nakayama, Norma G. Sutcliffe |
Perspective-driven IT talent acquisition. |
CPR |
2007 |
DBLP DOI BibTeX RDF |
IT personnel evaluation, taxonomy, perspective, IT skills |
12 | Syed M. S. Islam, Mohammed Bennamoun, Robyn A. Owens, Rowan Davies |
Biometric Approaches of 2D-3D Ear and Face: A Survey. |
SCSS (1) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Torsten Grust, Jan Rittinger, Jens Teubner |
Data-intensive XQuery debugging with instant replay. |
XIME-P |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Yong Zhang |
Dynamically simulating and visualizing the engineering specification of high power supply test system. |
SpringSim (3) |
2007 |
DBLP BibTeX RDF |
engineering specification, high power supply test system, visualization |
12 | Shaxun Chen, JiDong Ge, XianPing Tao, Jian Lu 0001 |
A Transaction Model for Context-Aware Applications. |
GPC |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Alexei Iliasov, Alexander B. Romanovsky, Budi Arief |
A Framework for Open Distributed System Design. |
COMPSAC (2) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Hasan Celik, Alan Hanjalic, Emile A. Hendriks |
On the development of an autonomous and self-adaptable moving object detector. |
AVSS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Peng Guan, Yaoliang Yu, Liming Zhang 0001 |
Discriminant Analysis with Label Constrained Graph Partition. |
ISNN (2) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Gabriel Jakobson, John F. Buford, Lundy Lewis |
Situation Management: Basic Concepts and Approaches. |
IF&GIS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Sascha Gädtke, Claus Traulsen, Reinhard von Hanxleden |
HW/SW co-design for Esterel processing. |
CODES+ISSS |
2007 |
DBLP DOI BibTeX RDF |
reactive processing, synchronous languages, Esterel, HW/SW co-design |
12 | Iuri Frosio, Mirko Lucchese, N. Alberto Borghese |
A new and reliable Poisson noise estimator for radiographic images. |
ICIAP |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Ferdinando Di Martino, Salvatore Sessa 0002 |
A Genetic Algorithm Based on Eigen Fuzzy Sets for Image Reconstruction. |
WILF |
2007 |
DBLP DOI BibTeX RDF |
max ??? min composition, min ??? max composition, eigen fuzzy set, genetic algorithm, image reconstruction |
12 | Abhisek Ukil, Adrian Barlocher |
Implementation of Discrete Wavelet Transform for Embedded Applications using TMS320VC5510. |
SIES |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Changyeol Choi, Du Wan Cheun, Soo Dong Kim |
Design of Autonomic SLA Manager for Service Applications. |
ICEBE |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Xiaoning Du 0002, Hong Wang, Qun Dang, Xiaoshi Liu, YongXuan Huang |
Optimization algorithm of initial orbit based on internal penalty function method. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Shoichi Nakamura, Keisuke Suzuki, Setsuo Yokoyama, Youzou Miyadera |
A Learning Environment for Understanding of Program Division Patterns. |
KES (3) |
2007 |
DBLP DOI BibTeX RDF |
program division, program modularization, active variable, program visualization |
12 | Werner E. Kluge |
Abstract lambda-Calculus Machines. |
CEFP |
2007 |
DBLP DOI BibTeX RDF |
|
12 | David Woods |
Measuring how design changes cognition at work. |
UIST |
2007 |
DBLP DOI BibTeX RDF |
usability, change, interactive software |
12 | Stijn De Buck, Frederik Maes, André D'Hoore, Paul Suetens |
Evaluation of a Novel Calibration Technique for Optically Tracked Oblique Laparoscopes. |
MICCAI (1) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Ryan Gerard, Robert R. Downs, James J. Marshall, Robert E. Wolfe |
The Software Reuse Working Group: A Case Study in Fostering Reuse. |
IRI |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Zbigniew Bonikowski, Urszula Wybraniec-Skardowska |
Rough Sets and Vague Sets. |
RSEISP |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid |
Sequential Circuits for Relational Analysis. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Francis St-Onge, David Kidston, Isabelle Labbé |
A Multi-level Policy Representation for Management Services in Maritime Networks. |
POLICY |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Hien T. Nguyen, Tru Hoang Cao |
A Knowledge-Based Approach to Named Entity Disambiguation in News Articles. |
Australian Conference on Artificial Intelligence |
2007 |
DBLP DOI BibTeX RDF |
ontology, semantic web, knowledge base, Name disambiguation, coreference resolution |
12 | Milo M. K. Martin, Colin Blundell, E Christopher Lewis |
Subtleties of Transactional Memory Atomicity Semantics. |
IEEE Comput. Archit. Lett. |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Zhiguo Gong, Leong Hou U, Chan Wa Cheang |
Web image indexing by using associated texts. |
Knowl. Inf. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Text-based, Segmentation, Indexing, Retrieval, Web images |
12 | Ramiro Liscano, Anand Dersingh, Allan G. Jost, Hao Hu |
Discovering and Managing Access to Private Services in Collaborative Sessions. |
IEEE Trans. Syst. Man Cybern. Part A |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Dorina C. Gumm |
Distribution Dimensions in Software Development Projects: A Taxonomy. |
IEEE Softw. |
2006 |
DBLP DOI BibTeX RDF |
CommSy, requirements engineering, case study, global software development, distributed development |
12 | V. Krishna Nandivada, Suresh Jagannathan |
Dynamic state restoration using versioning exceptions. |
High. Order Symb. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Program analysis, Transactions, Versioning, Exceptions, Points to analysis, Rollback |
12 | Stefano Marinoni, Hannu H. Kari |
Ad hoc routing protocol's performance: a realistic simulation based study. |
Telecommun. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Realistic simulation, Radio signal propagation, Performance evaluation, Mobility model, Network modeling |
12 | Andreas Bauer 0002, Martin Leucker, Jonathan Streit |
SALT - Structured Assertion Language for Temporal Logic. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Felix Köbler, Jan Marco Leimeister, Artur Lugmayr |
Framework for Systematic and Strategic Planning of Innovation-Based Mobile Broadband Services. |
PDP |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Seungwon Yang, Edward A. Fox, Barbara M. Wildemuth, Jeffrey Pomerantz, Sanghee Oh |
Interdisciplinary Curriculum Development for Digital Library Education. |
ICADL |
2006 |
DBLP DOI BibTeX RDF |
5S framework, education, digital library, curriculum, CC2001 |
12 | Matthew Flatt, Robert Bruce Findler, Matthias Felleisen |
Scheme with Classes, Mixins, and Traits. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Matthias Brantner, Sven Helmer, Carl-Christian Kanne, Guido Moerkotte |
Kappa-Join: Efficient Execution of Existential Quantification in XML Query Languages. |
XSym |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Hugo A. Mitre-Hernández, Ana Isabel González-Tablas Ferreres, Benjamín Ramos, Arturo Ribagorda |
A Legal Ontology to Support Privacy Preservation in Location-Based Services. |
OTM Workshops (2) |
2006 |
DBLP DOI BibTeX RDF |
Ontology, privacy, location-based services, regulation |
12 | Budi Arief, Alexei Iliasov, Alexander B. Romanovsky |
On Developing Open Mobile Fault Tolerant Agent Systems. |
SELMAS (LNCS) |
2006 |
DBLP DOI BibTeX RDF |
ambient lecture, middleware, Mobile agents, coordination, exception handling, Linda, system structuring |
12 | Ruey-Shyang Wu, Kuo-Jung Su, Fengyi Lin, Shyan-Ming Yuan |
FJM2 - A Decentralized JMS System. |
TEAA |
2006 |
DBLP DOI BibTeX RDF |
Multi-cast, Enterprise Application Integration, Message Oriented Middleware, Java Message Service |
12 | Xinyu Feng 0001, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni |
Modular verification of assembly code with stack-based control abstractions. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
assembly code verification, control abstractions, stack-based, modularity, proof-carrying code |
12 | Stefano Marinoni, Hannu H. Kari |
Ad Hoc Routing Protocol Performance in a Realistic Environment. |
ICN/ICONS/MCL |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Davinia Hernández Leo, Eloy D. Villasclaras-Fernández, Juan I. Asensio-Pérez, Yannis A. Dimitriadis, Symeon Retalis |
CSCL Scripting Patterns: Hierarchical Relationships and Applicability. |
ICALT |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Marko Samer, Stefan Szeider |
Constraint Satisfaction with Bounded Treewidth Revisited. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Xuemei Guan, Liping Sun, Jun Cao |
Level Set Method Based on Improved Mumford-Shah Model Applied in Wood Cell Image Segmentation. |
IJCNN |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Tak-Wai Chan, Fei Ching Chen, Chih-Yueh Chou |
Profile Enhanced Classroom Learning. |
WMTE |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky |
Rigorous Development of Fault-Tolerant Agent Systems. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Bert Lagaisse, Wouter Joosen |
True and Transparent Distributed Composition of Aspect-Components. |
Middleware |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Marin Litoiu, C. Murray Woodside, Tao Zheng |
Hierarchical model-based autonomic control of software systems. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
performance models, autonomic computing, self-management |
12 | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002 |
Enforcing Secure Service Composition. |
CSFW |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Nicholas A. Kraft, Brian A. Malloy, James F. Power |
Toward an Infrastructure to Support Interoperability in Reverse Engineering. |
WCRE |
2005 |
DBLP DOI BibTeX RDF |
|
12 | José-Antonio Alonso, María Teresa Lamata |
A Statistical Criterion of Consistency in the Analytic Hierarchy Process. |
MDAI |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Hidenori Yamamoto, Shigetoshi Sameshima |
Platform-Independent Domain Management Using Super Distributed Objects (SDO) in Context-Aware Service Systems. |
SAINT Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Kayhan Gulez, Mehmet Uzunoglu, Omer Caglar Onar, Bulent Vural |
Power Op-Amp Based Active Filter Design with Self Adjustable Gain Control by Neural Networks for EMI Noise Problem. |
ICIC (1) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Peng Wu 0001, Alexandre E. Eichenberger, Amy Wang, Peng Zhao |
An integrated simdization framework using virtual vectors. |
ICS |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Krishna Raman, Yue Zhang 0001, Mark Panahi, Juan A. Colmenares, Raymond Klefstad |
Patterns and Tools for Achieving Predictability and Performance with Real-Time Java. |
RTCSA |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Takashi Hamaguchi, Taku Yamazaki, Meng Hu, Masaru Sakamoto, Koji Kawano, Teiji Kitajima, Yukiyasu Shimada, Yoshihiro Hashimoto, Toshiaki Itoh |
Analogical Reasoning Based on Task Ontologies for On-Line Support. |
KES (1) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Torbjörn Ekman 0001, Görel Hedin |
Modular Name Analysis for Java Using JastAdd. |
GTTSE |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Hubie Chen, Víctor Dalmau |
Beyond Hypertree Width: Decomposition Methods Without Decompositions. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
12 | René Meier, Vinny Cahill, Andronikos Nedos, Siobhán Clarke |
Proximity-Based Service Discovery in Mobile Ad Hoc Networks. |
DAIS |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Krishna Raman, Yue Zhang 0001, Mark Panahi, Juan A. Colmenares, Raymond Klefstad, Trevor Harmon |
RTZen: Highly Predictable, Real-Time Java Middleware for Distributed and Embedded Systems, . |
Middleware |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Karen Fullam, Tomas B. Klos, Guillaume Muller 0001, Jordi Sabater, Zvi Topol, K. Suzanne Barber, Jeffrey S. Rosenschein, Laurent Vercouter |
A demonstration of the Agent Reputation and Trust (ART): testbed for experimentation and competition. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Alessandra A. Macedo, Renato Bulcão Neto, José Antonio Camacho Guerrero, Carlos Henrique O. Jardim, Renan G. Cattelan, Valter R. Inacio Jr., Maria da Graça Campos Pimentel |
Linking Everyday Presentations through Context Information. |
LA-WEB |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Kamal Aboul-Hosn, Terese Andersen |
A Proof-Theoretic Approach to Hierarchical Math Library Organization. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Rüdiger Gartmann, Bernhard Holtkamp, Norbert Weißenberg |
Service Roaming in Mobile Applications. |
IEEE SCC |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Ionut Emil Iacob, Alex Dekhtyar |
Parsing concurrent XML. |
WIDM |
2004 |
DBLP DOI BibTeX RDF |
GODDAG, concurrent XML, overlapping markup, DOM |
12 | Weirong Wang, Aloysius K. Mok, Gerhard Fohler |
Generalized Pre-Scheduler. |
ECRTS |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Yasushi Umezawa, Takeshi Shimizu |
A Formal Verification Methodology for Checking Data Integrity. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Jon Atle Gulla |
Understanding Requirements in Enterprise Systems Projects. |
RE |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Hans Langmaack |
Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding. |
Essays in Memory of Ole-Johan Dahl |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Tanaka Shin, Kurata Hiroyuki, Takeshi Ohashi |
Optimization of E.Coli heat shock response parameter tuning using distributed and integrated genetic algorithms. |
SMC (2) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Tian Zhao, James Noble 0001, Jan Vitek |
Scoped Types for Real-Time Java. |
RTSS |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Sergio Antoy, Stephen Johnson |
Formalization and abstract implementation of rewriting with nested rules. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
term rewriting systems, non-determinism, narrowing, functional logic programming, block structured |
12 | A. T. Sivaram, Pascal Pierra, Shida Sheibani, Nancy Wang-Lee, Jorge E. Solorzano, Lily Tran |
Active Tester Interface Unit Design For Data Collection. |
ITC |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Jochem Vonk, Paul W. P. J. Grefen |
Cross-Organizational Transaction Support for E-Services in Virtual Enterprises. |
Distributed Parallel Databases |
2003 |
DBLP DOI BibTeX RDF |
service outsourcing, cross-organizational business process, workflow management, virtual enterprise, e-service, transaction management, B2B e-commerce |
12 | Peter Vanbroekhoven, Henk Corporaal, Francky Catthoor |
Advanced copy propagation for arrays. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
copy propagation, optimization, arrays, single assignment |
12 | Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard |
Integrating Model Checking and Theorem Proving for Relational Reasoning. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Meng-Feng Tsai, Wesley W. Chu |
A Multidimensional Aggregation Object (MAO) Framework for Computing Distributive Aggregations. |
DaWaK |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Dimitri Hendriks, Vincent van Oostrom |
adbmal |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Frank M. Brown |
Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Kamal Premaratne, Duminda A. Dewasurendra, Peter H. Bauer |
Evidence updating in a heterogeneous sensor environment. |
ISCAS (4) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Tim Stockheim, Michael Schwind, Wolfgang König |
A Model for the Emergence and Diffusion of Software Standards. |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
12 | John R. James |
Modeling of information dominance in complex systems: A system partitioning and hybrid control framework. |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Samuel T. Redwine Jr. |
Dissecting Trust and the Assurance-Violation Dynamic. |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Martin James Green, David A. Cohen |
Tractability by Approximating Constraint Languages. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Antoine Colin, Guillem Bernat |
Scope-Tree: A Program Representation for Symbolic Worst-Case Execution Time Analysis. |
ECRTS |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 628 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|