|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1686 occurrences of 1013 keywords
|
|
|
Results
Found 2982 publication records. Showing 2982 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
25 | Kenji Ohmori, Tosiyasu L. Kunii |
A Formal Methodology for Developing Enterprise Systems Procedurally: Homotopy, Pi-Calculus and Event-Driven Programs. |
CW |
2010 |
DBLP DOI BibTeX RDF |
Invariant Preserving, Multi Threads, Event Driven, Homotopy, Pi-calculus, Abstraction Hierarchy |
25 | Otgonchimeg Buyanjargal, Youngmi Kwon |
An Energy Efficient Clustering Algorithm for Event-Driven Wireless Sensor Networks (EECED). |
NCM |
2009 |
DBLP DOI BibTeX RDF |
event-driven wireless sensor network, energy consumption, Clustering algorithm |
25 | Pankaj Goyal, Rao Mikkilineni |
Policy-Based Event-Driven Services-Oriented Architecture for Cloud Services Operation & Management. |
IEEE CLOUD |
2009 |
DBLP DOI BibTeX RDF |
Operations and Management, Event-driven Services Architecture, Policy-based Service Management, SOA, Cloud Services |
25 | Jie Tong, Zhigao Du, Yi Liu 0013, Depei Qian |
Intra-flow Network Coding Based Multipath Routing Protocol for Event-Driven Wireless Sensor Networks. |
MSN |
2009 |
DBLP DOI BibTeX RDF |
wireless sensor networks, network coding, multipath, event-driven, opportunistic routing |
25 | KwangBin Song, HyeonYeon Kang, YongKyu Kim, SokPal Cho |
A Study on Architecture of Event Driven Service System. |
ICSAP |
2009 |
DBLP DOI BibTeX RDF |
Event driven service, EDS, convergence service, KOREN |
25 | Yuji Sato, Ryosuke Suzuki, Yosuke Akatsuka |
Dependencies on player formation in event-driven hybrid learning classifier systems for soccer video games. |
GECCO |
2008 |
DBLP DOI BibTeX RDF |
real-time learning, soccer game, learning classifier systems, video-game, event-driven |
25 | Yuji Sato, Yosuke Akatsuka, Takenori Nishizono |
Reward allotment in an event-driven hybrid learning classifier system for online soccer games. |
GECCO |
2006 |
DBLP DOI BibTeX RDF |
real-time learning, soccer game, learning classifier systems, video-game, event-driven |
25 | Wlodzimierz M. Zuberek |
Event-Driven Simulation of Timed Petri Net Models. |
Annual Simulation Symposium |
2000 |
DBLP DOI BibTeX RDF |
TPN-tools, TPNsim, timed Petri nets, event-driven simulation |
25 | Radu Negulescu |
Event-Driven Verification of Switch-Level Correctness Concerns. |
ACSD |
1998 |
DBLP DOI BibTeX RDF |
switch-level, Verification, concurrency, safety, deadlock, asynchronous, event-driven, speed-independence, process spaces |
25 | Jerry Bauer, Michael Bershteyn, Ian Kaplan, Paul Vyedin |
A Reconfigurable Logic Machine for Fast Event-Driven Simulation. |
DAC |
1998 |
DBLP DOI BibTeX RDF |
reconfigurable computing, event-driven simulation |
25 | William P. Niedringhaus |
Diffusive dynamic load balancing by terrain parcel swaps for event-driven simulation of communicating vehicles. |
Annual Simulation Symposium |
1995 |
DBLP DOI BibTeX RDF |
military equipment, military communication, diffusive dynamic load balancing, terrain parcel swaps, communicating vehicles, wargaming simulation, battlefield terrain partitioning, communication circle, terrain repartitioning, shape regularization, lopsided dimensions, marked concavities, long thin peninsulas, parallel programming, resource allocation, discrete event simulation, mobile communication, vehicles, telecommunication computing, event-driven simulation, military computing, network bandwidth, simulation parallelization |
25 | Roland Vecera, Szabolcs Rozsnyai, Heinz Roth |
Indexing and Search of Correlated Business Events. |
ARES |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Cheng-Wen Cheng, Jonas Rabin |
Synthesis of Decision Rules. |
Commun. ACM |
1976 |
DBLP DOI BibTeX RDF |
|
24 | Mi-Yen Yeh, Bi-Ru Dai, Ming-Syan Chen |
COMET: Event-Driven Clustering over Multiple Evolving Streams. |
PAKDD |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Shen Lin 0003, François Taïani, Gordon S. Blair |
Facilitating Gossip Programming with the GossipKit Framework. |
DAIS |
2008 |
DBLP DOI BibTeX RDF |
middleware, flexibility, event-driven architecture, component framework, Gossip protocol |
24 | Andoni Lombide Carreton, Tom Van Cutsem, Wolfgang De Meuter |
Reactive queries in mobile ad hoc networks. |
MPAC |
2008 |
DBLP DOI BibTeX RDF |
AmbientTalk, mobile ad hoc networks, reactive programming, event-driven programming |
24 | Mike P. Papazoglou, Willem-Jan van den Heuvel |
Service oriented architectures: approaches, technologies and research issues. |
VLDB J. |
2007 |
DBLP DOI BibTeX RDF |
Asynchronous and event-driven processing, Application and service integration, Enterprise bus, Web services, Service oriented architecture |
24 | Giner Alor-Hernández, Rubén Posada-Gómez, Juan Miguel Gómez-Berbís, María Antonieta Abud-Figueroa |
A Web Service-Based Brokering Service for e-Procurement in Supply Chains. |
GPC |
2007 |
DBLP DOI BibTeX RDF |
Web Services, Service-Oriented Architecture, Event-Driven Architecture |
24 | Hai Jiang 0003, Hung-Chi Su, Bin Zhang 0005 |
Toward Optimizing Particle-Simulation Systems. |
International Conference on Computational Science (1) |
2007 |
DBLP DOI BibTeX RDF |
Particle collision, lazy determination, event-driven simulation |
24 | Elzbieta Roszkowska |
DES-Based Coordination of Space-Sharing Mobile Robots. |
EUROCAST |
2007 |
DBLP DOI BibTeX RDF |
Multiple mobile robot system, collision and deadlock avoidance, DES-based model, event-driven control, supervisory control |
24 | Xun Yuan, Myra B. Cohen, Atif M. Memon |
Covering array sampling of input event sequences for automated gui testing. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
event driven software, GUI testing, covering arrays |
24 | Jean-Raymond Abrial, Dominique Cansell, Dominique Méry |
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol. |
Formal Aspects Comput. |
2003 |
DBLP DOI BibTeX RDF |
Proof-based development, Proof engine, Refinement, B method, Abstract model, Event-driven approach |
24 | Frédéric Boussinot, Laurent Hazard |
Reactive scripts. |
RTCSA |
1996 |
DBLP DOI BibTeX RDF |
broadcast event-driven interpreter, responsive systems, reactive script interpretor, complex behaviors, current interpretor reaction, associated methods, nonblocking order, method execution, SL synchronous language, ROM Reactive Object Model, Reactive-C language, parallel programming, objects, real time programming |
24 | Sven De Labey, Eric Steegmans |
Extending WS-Notification with an Expressive Event Notification Broker. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Utz Westermann, Ramesh C. Jain |
E - A Generic Event Model for Event-Centric Multimedia Data Management in eChronicle Applications. |
ICDE Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Christoph Liebig, Mariano Cilia, Alejandro P. Buchmann |
Event Composition in Time-dependent Distributed Systems. |
CoopIS |
1999 |
DBLP DOI BibTeX RDF |
distributed active systems, time-dependent distributed systems, distributed event composition, event time stamping |
24 | Christoph Rathfelder, Samuel Kounev |
Model-based performance prediction for event-driven systems. |
DEBS |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Dimitrios Georgakopoulos 0001, Donald Baker, Marian H. Nodine, Andrzej Cichocki |
Event-driven Video Awareness Providing Physical Security. |
World Wide Web |
2007 |
DBLP DOI BibTeX RDF |
awareness, video surveillance, complex event processing |
24 | Payal Chakravarty, Munindar P. Singh |
An event-driven approach for agent-based business process enactment. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Collin J. Lobb, Zenas C. Chao, Richard M. Fujimoto, Steve M. Potter |
Parallel Event-Driven Neural Network Simulations Using the Hodgkin-Huxley Neuron Model. |
PADS |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Giovanni Cantone, Zeiad A. Abdulnabi, Anna Lomartire, Giuseppe Calavaro |
Effectiveness of Code Reading and Functional Testing with Event-Driven Object-Oriented Software. |
ESERNET |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Peng Li, John Regehr |
T-check: bug finding for sensor networks. |
IPSN |
2010 |
DBLP DOI BibTeX RDF |
T-Check, sensor networks, model checking, safety, random walk, liveness, TinyOS, event-driven |
24 | Romain Brette, Michelle Rudolph, Ted Carnevale, Michael L. Hines, David Beeman, James M. Bower, Markus Diesmann, Abigail Morrison, Philip H. Goodman, Frederick C. Harris Jr., Milind Zirpe, Thomas Natschläger, Dejan Pecevski, Bard Ermentrout, Mikael Djurfeldt, Anders Lansner, Olivier Rochel, Thierry Viéville, Eilif Mueller, Andrew P. Davison, Sami El Boustani, Alain Destexhe |
Simulation of networks of spiking neurons: A review of tools and strategies. |
J. Comput. Neurosci. |
2007 |
DBLP DOI BibTeX RDF |
Clock-driven, Event-driven, Spiking neural networks, Simulation tools, Integration strategies |
24 | Dina Neiger, Leonid Churilov |
Goal-Oriented Business Process Modeling with EPCs and Value-Focused Thinking. |
Business Process Management |
2004 |
DBLP DOI BibTeX RDF |
Decision Sciences, Value-Focused thinking framework, Goal-Oriented Business Process Modeling, Business process modeling, Event-driven Process Chain |
24 | Youngmin Hur, Stephen A. Szygenda |
Special purpose array processor for digital logic simulation. |
Annual Simulation Symposium |
1995 |
DBLP DOI BibTeX RDF |
special purpose array processor, digital logic simulation, large VLSI circuits, compute-intensive tasks, digital analysis, time driven array processor, massively parallel processing element, compiled event-driven technology, nominal transport delay timing analysis, delay time order, levelized circuit, massively parallel PE array, MARS accelerator, VLSI, parallel architectures, delays, timing, fault simulation, logic CAD, digital simulation, circuit analysis computing, special purpose computers, SIMD architecture, hardware cost |
24 | Damian Dalton |
Analysis of an Associative Array Parallel Logic Simulator. |
ICPP Workshops |
1999 |
DBLP DOI BibTeX RDF |
|
24 | G. Balasubramanian, Saswat Chakrabarti |
Modelling information generation in event-driven sensor networks. |
AICCSA |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Dohyung Kim 0007, Chan-Eun Rhee, Soonhoi Ha |
Combined data-driven and event-driven scheduling technique for fast distributed cosimulation. |
IEEE Trans. Very Large Scale Integr. Syst. |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Richard C. Millham |
An Investigation: Reengineering Sequential Procedure-Driven Software into Object-Oriented Event-Driven Software through UML Diagrams. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
COBOL Legacy Systems, Unified Modeling Language (UML), Reverse Engineering, Reengineering, Wide Spectrum Language (WSL) |
21 | Kia Teymourian, Adrian Paschke |
Enabling knowledge-based complex event processing. |
EDBT/ICDT Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Yanqiu Wang, Ge Yu 0001, Tiancheng Zhang 0001, Dejun Yue, Yu Gu 0002, Xiaolong Hu |
Effective Similarity Analysis over Event Streams Based on Sharing Extent. |
APWeb/WAIM |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Moser, Heinz Roth, Szabolcs Rozsnyai, Richard Mordinyi, Stefan Biffl |
Semantic Event Correlation Using Ontologies. |
OTM Conferences (2) |
2009 |
DBLP DOI BibTeX RDF |
semantic event correlation, ontology, Complex event processing |
21 | Karen Walzer, Alexander Schill, Alexander Löser |
Temporal constraints for rule-based event processing. |
PIKM |
2007 |
DBLP DOI BibTeX RDF |
rete algorithm, event, rule-based, temporal |
21 | Xiang-Jun Wang, Swathi Mamadgi, Atit Thekdi, Aisling Kelliher, Hari Sundaram |
Eventory -- An Event Based Media Repository. |
ICSC |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Qiankun Zhao, Tie-Yan Liu, Sourav S. Bhowmick, Wei-Ying Ma |
Event detection from evolution of click-through data. |
KDD |
2006 |
DBLP DOI BibTeX RDF |
dynamic web, evolution pattern, event detection, click-through data |
21 | Mark D. Krasniewski, Padma Varadharajan, Bryan Rabeler, Saurabh Bagchi, Y. Charlie Hu |
TIBFIT: Trust Index Based Fault Tolerance for Arbitrary Data Faults in Sensor Networks. |
DSN |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Aparna Nagargadde, Sridhar Varadarajan, Krithi Ramamritham |
Semantic Characterization of Real World Events. |
DASFAA |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Sonia Berman |
Session 7: Overview. |
POS |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Wei Hu, Huanye Sheng |
Semantics-Based Event-Driven Web News Classification. |
ISPA Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Min Xu 0001, Jiaming Li 0003, Yiqun Hu, Liang-Tien Chia, Bu-Sung Lee, Deepu Rajan, Jianfei Cai 0001 |
An Event-Driven Sports Video Adaptation for the MPEG-21 DIA Framework. |
ICME |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Münnich, Georg Färber |
Calculating Worst-Case Execution Times of Transactions in Databases for Event-Driven, Hard Real-Time Embedded Systems. |
IDEAS |
2000 |
DBLP DOI BibTeX RDF |
worst-case execution, transaction managenrent, real-time systems, concurrency control, real-time embedded systems, safety-critical |
21 | Christer Norström, Anders Wall, Wang Yi 0001 |
Timed Automata as Task Models for Event-Driven Systems. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Reinhard Gerndt, Rolf Ernst |
An Event-Driven Multi-Threading Architecture for Embedded Systems. |
CODES |
1997 |
DBLP DOI BibTeX RDF |
multi-threading architecture, embedded system, hardware/software-codesign, event-flow |
21 | Paulo Sérgio Santos Jr., João Paulo A. Almeida, Giancarlo Guizzardi |
An ontology-based semantic foundation for ARIS EPCs. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
event-driven process chains (EPCs), business process modeling, ARIS, ontological analysis, foundational ontologies |
21 | Vlad Stirbu |
A RESTful architecture for adaptive and multi-device application sharing. |
WS-REST |
2010 |
DBLP DOI BibTeX RDF |
REST, user interface adaptation, event driven system |
21 | Pierre Ganty, Rupak Majumdar, Andrey Rybalchenko |
Verifying liveness for asynchronous programs. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
asynchronous (event-driven) programming, fair termination, petri nets, liveness |
21 | Stefan J. Witwicki, Edmund H. Durfee |
Flexible approximation of structured interactions in decentralized Markov decision processes. |
AAMAS (2) |
2009 |
DBLP BibTeX RDF |
decentralized markov decision processes, event-driven interactions, multiagent systems, commitments |
21 | Davy Preuveneers, Ansar-Ul-Haque Yasar, Yolande Berbers |
Architectural styles for opportunistic mobile communication: requirements and design patterns. |
Mobility Conference |
2008 |
DBLP DOI BibTeX RDF |
scalability, context-awareness, event-driven architecture, publish-subscribe |
21 | Vincent Hourdin, Jean-Yves Tigli, Stephane Lavirotte, Gaëtan Rey, Michel Riveill |
SLCA, composite services for ubiquitous computing. |
Mobility Conference |
2008 |
DBLP DOI BibTeX RDF |
web services for devices, service oriented architecture, ubiquitous computing, event driven architecture, component-based software engineering, software composition |
21 | Bo Cheng 0001, Xiaoyan Shen, Xiangwu Meng, Junliang Chen |
Web Services Communication Model in Telecom Domain. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
asychronous interaction, web service, event driven, communication model |
21 | Volker Hoyer, Eva Bucherer, Florian Schnabel 0001 |
Collaborative e-Business Process Modelling: Transforming Private EPC to Public BPMN Business Process Models. |
Business Process Management Workshops |
2007 |
DBLP DOI BibTeX RDF |
Collaborative e-Business Process, Event-Driven Process Chain (EPC), Business Process Modelling Notation (BPMN), Business Process Modelling Layers |
21 | Alan Hartman, Mika Katara, Amit M. Paradkar |
Domain specific approaches to software test automation. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
domain specific test automation, exploratory testing, feature testing, multi-threaded debugging, wireless sensor software, model based testing, data exchangeability, constraint logic programming, safety critical software, test prioritization, event driven systems |
21 | Andreas Winter 0001, Carlo Simon |
Using GXL for exchanging business process models. |
Inf. Syst. E Bus. Manag. |
2006 |
DBLP DOI BibTeX RDF |
Exchange formats, Petri nets, Interoperability, Graphs, Event-driven Process Chains |
21 | David Lee, Dongluo Chen, Ruibing Hao, Raymond E. Miller, Jianping Wu, Xia Yin |
Network protocol system monitoring: a formal approach with passive testing. |
IEEE/ACM Trans. Netw. |
2006 |
DBLP DOI BibTeX RDF |
event-driven extended finite state machine, testing, formal method, network protocol, passive monitoring |
21 | Silvana Rossetto, Noemi de La Rocque Rodriguez |
A cooperative multitasking model for networked sensors. |
ICDCS Workshops |
2006 |
DBLP DOI BibTeX RDF |
event-driven model, cooperative multitasking, Sensor networks, programming models, TinyOS, coroutines |
21 | Pietro Cicotti, Scott B. Baden |
Short Paper: Asynchronous programming with Tarragon. |
HPDC |
2006 |
DBLP DOI BibTeX RDF |
run time virtualized process structure, asynchronous programming, Tarragon run time library, actor-based programming model, latency tolerant asynchronous event driven simulation, meta data |
21 | Simon Beloglavec, Marjan Hericko, Matjaz B. Juric, Ivan Rozman |
Analysis of the limitations of multiple client handling in a Java server environment. |
ACM SIGPLAN Notices |
2005 |
DBLP DOI BibTeX RDF |
Java networking, event-driven server, threaded server |
21 | Ho Kyung Kim, Leonidas J. Guibas, Sung Yong Shin |
Efficient Collision Detection among Moving Spheres with Unknown Trajectories. |
Algorithmica |
2005 |
DBLP DOI BibTeX RDF |
Computational geometry, Collision detection, Computer animation, Interactive applications, Event-driven approach |
21 | Steve Vinoski |
More Web Services Notifications. |
IEEE Internet Comput. |
2004 |
DBLP DOI BibTeX RDF |
Web services, middleware, event-driven system, WS-Notification |
21 | Wlodzimierz M. Zuberek |
Modeling and Analysis of Dual Block Multithreading. |
FORTE Workshops |
2004 |
DBLP DOI BibTeX RDF |
instruction issuing, event–driven simulation, performance analysis, timed Petri nets, pipelined processors, Block multithreading |
21 | Farn Wang, Geng-Dian Huang, Fang Yu 0001 |
Symbolic Simulation of Real-Time Concurrent Systems. |
RTCSA |
2003 |
DBLP DOI BibTeX RDF |
state-based, model-checking, verification, specification, Assertions, event-driven |
21 | Yun Mao, Kang Chen, Dongsheng Wang 0002, Weimin Zheng, Xiaotie Deng |
MOT: Memory Online Tracing of Web Information System. |
WISE (1) |
2001 |
DBLP DOI BibTeX RDF |
Packet Sniffing, Event-driven Architecture, Information Modeling, Web Measurement |
21 | Sivaram Balasubramanian, Robert W. Brennan, Douglas H. Norrie |
Requirements for Holonic Manufacturing Systems Control. |
DEXA Workshops |
2000 |
DBLP DOI BibTeX RDF |
holonic manufacturing systems control, unit level regulatory control, dynamically reconfigurable distributed multi sensor based holonic systems, software centric metamorphic control systems, uniform event driven control architecture, functional levels, International Electrotechnical Commission function block standard, IEC 1499, industrial process measurement, requisite behavior, distributed control software components, process control, real time control |
21 | Yuan Gao, Ye Ge, Jennifer C. Hou |
RMCM: Reliable Multicasts for Core-based Multicast Trees. |
ICNP |
2000 |
DBLP DOI BibTeX RDF |
core-based multicast trees, RMCM, multicast applications, on-tree router, core-based tree, retransmission request, optimal recovery, turning point approach, IP options, group membership changes, repliers, delayed ACK approach, repair-based reliable multicast, NAK implosion control, recovery latency, recovery isolation, FreeBSD 2.2.8, Internet, Internet, transport protocols, packet switching, network topology, digital simulation, trees (mathematics), telecommunication network routing, multicast communication, reliable multicasts, event-driven simulation, topology changes, local recovery, data packets, hosts |
21 | Andrea Fumagalli, Roberto Grasso |
An Efficient Asynchronous Simulation Technique for High Speed Slotted Networks. |
Annual Simulation Symposium |
1999 |
DBLP DOI BibTeX RDF |
slotted network, Photonic Slot Routing, Wavelength Division Multiplexing, event driven simulation |
21 | Dong-Jin Kim, Leonidas J. Guibas, Sung Yong Shin |
Fast Collision Detection Among Multiple Moving Spheres. |
IEEE Trans. Vis. Comput. Graph. |
1998 |
DBLP DOI BibTeX RDF |
computational geometry, Collision detection, computer animation, physical simulation, event-driven approach |
21 | Tei-Wei Kuo, Shao-Juen Ho, Chih-Hung Wei, Farn Wang |
PASS: a prototyping, analysis, simulation, and synthesis environment for real-time systems. |
RTCSA |
1997 |
DBLP DOI BibTeX RDF |
PASS, prototyping environment, synthesis environment, event-driven model, end-to-end delay requirements, error propagation problem, chalkboard example, simulation, real-time systems, Ethernet, timing constraints, software prototyping |
21 | Tzuhao Chen, Ibrahim N. Hajj |
GOLDENGATE: a fast and accurate bridging fault simulator under a hybrid logic/IDDQ testing environment. |
ICCAD |
1997 |
DBLP DOI BibTeX RDF |
GOLDENGATE, digital VLSI circuits, electrical-level simulation, event-driven technique, logic/I/sub DDQ/ testing, logic testing, sequential circuits, combinational circuits, bridging fault simulator |
21 | Patrick C. K. Hung, Kamalakar Karlapalem |
A Paradigm for Security Enforcement in CapBasED-AMS. |
CoopIS |
1997 |
DBLP DOI BibTeX RDF |
security enforcement paradigm, CapBasED-AMS, capability-based event-driven activity management system, activity execution, problem-solving agent, multiple interdependent tasks, task execution, unauthorized modification, pilferage, illegal privacy violation, specification-time data, compile-time data, run-time data, system infrastructure, secure match-making, security constraints, task coordination model, security resource control, role-based resource security model, security policies, task scheduling, security of data, security threats, unauthorized access |
21 | Dong-Jin Kim, Sung Yong Shin, Leonidas J. Guibas |
Fast Collision Detection among Multiple Moving Spheres. |
CA |
1997 |
DBLP DOI BibTeX RDF |
Computational Geometry, Collision Detection, Computer Animation, Physical Simulation, Event-Driven Approach |
21 | Chauchin Su, Shyh-Shen Hwang, Shyh-Jye Jou, Yuan-Tzu Ting |
Syndrome Simulation And Syndrome Test For Unscanned Interconnects. |
Asian Test Symposium |
1996 |
DBLP DOI BibTeX RDF |
unscanned interconnects, syndrome test methodology, event driven syndrome simulation, boundary scan environment, faulty syndromes, fault-free syndromes, tolerable error rate, partially scanned PCB, board level testing, test pattern generation, boundary scan testing, test length, MCM, set covering problem, simulation algorithm, weighted random patterns, test cost reduction |
21 | William J. Schilp, Peter M. Maurer |
Unit delay simulation with the inversion algorithm. |
ICCAD |
1996 |
DBLP DOI BibTeX RDF |
unit delay, digital circuit simulation, simulation, event driven simulation |
21 | Christoph Siegelin, Ciaran O'Donnell, Ulrich Finger |
Efficient Simulation of Multiprocessors through Finite State Machines. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
event-driven multiprocessor simulators, memory behaviour, cache behaviour, simulation, multiprocessors, finite state machines, finite state machines |
21 | Joshua Etkin, José Fridman |
An Algorithm for Scheduling Prioritized Tasks in a Hard Real-Time Environment. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
prioritized tasks, hard real-time environment, processor scheduling, dynamically scheduling, search tree, event-driven simulation, priority ordering |
21 | David H. Jameson |
Building real-time music tools visually with Sonnet. |
IEEE Real Time Technology and Applications Symposium |
1996 |
DBLP DOI BibTeX RDF |
Sonnet, interactive music tools, sonification experiments, real-time event-driven applications, real-time systems, music, visual programming, visual languages, interactive systems, program debugging, program debugging, system monitoring, visual programming language, program monitoring |
21 | Myong H. Kang, Ira S. Moskowitz, Bruce E. Montrose, James J. Parsonese |
A Case Study Of Two Nrl Pump Prototypes. |
ACSAC |
1996 |
DBLP DOI BibTeX RDF |
NRL Pump, data pump, interconnected computer systems, process layer, 4-layer network reference model, DOS-Pump, D-Pump, event-driven Pump, E-Pump, performance, prototypes, congestion control, case study, fairness, open systems, open systems, covert channels, hardware implementation, secure communication, transport layer, reliable communication, threats, denial-of-service attacks |
21 | Yen-Jen Lee, Horng-Juing Lee, Wei-hsiu Ma, David Hung-Chang Du |
A Systematic Approach to Design the Network-Based Learning Environment for Home and Office. |
LCN |
1996 |
DBLP DOI BibTeX RDF |
home working, network-based learning environment, asynchronous education, synchronous education, user registration, course material storage, multiple delivery, end-user viewing tools, lecture model, lecture materials, lecture presentation, lecture interaction, synchronization specification, strong-weak networked hyperlink, distributed network environment, object-oriented modular design, timeline-based presentation synchronization, event-driven presentation synchronization, browsing tools, home, content creation, telecommuting, office, media objects |
21 | Gary S. H. Tan, Yong Meng Teo |
Experiences in simulating a declarative multiprocessor. |
Annual Simulation Symposium |
1995 |
DBLP DOI BibTeX RDF |
declarative multiprocessor simulation, declarative programming languages, Flagship parallel reduction machine, packet-based graph reduction model, executional units, timing characteristics, event-driven timing scheme, tightly-coupled processor-store pairs, performance evaluation, performance evaluation, parallel architectures, virtual machines, timing, parallel machines, synchronisation, synchronisation, parallel languages, functional languages, functional languages, functional simulator, parallel computer architectures, MIMD architecture, delta network |
21 | Heejo Lee, Kenji Toda, Jong Kim 0001, Kenji Nishida, Eiichi Takahashi, Yoshinori Yamaguchi |
Performance comparison of real-time architectures using simulation. |
RTCSA |
1995 |
DBLP DOI BibTeX RDF |
real-time architectures, discrete event-driven, task-based simulator, priority-based communication, simulation, schedulability, performance evaluation, real-time systems, parallel processing, predictability, distributed processing, discrete event simulation, performance prediction, network architectures, processor, distributed real-time systems, performance comparison, scheduling policy, parallel computer systems, dedicated processor, interrupt handling |
21 | Fernando Vallejo, José A. Gregorio, Michael González Harbour, José M. Drake |
Shared Memory Multimicroprocessor Operating System with an Extended Petri Net Model. |
IEEE Trans. Parallel Distributed Syst. |
1994 |
DBLP DOI BibTeX RDF |
softwareengineering, shared memorymultimicroprocessor operating system, extended Petri net model, task level programming, extended Petri net, job-levelprogramming, parallel programming, parallel programs, Petri nets, software development, operating system, conceptual model, programming environments, shared memory systems, operating systems (computers), system software, event-driven systems, programming support |
21 | Xavier Nicollin, Joseph Sifakis, Sergio Yovine |
Compiling Real-Time Specifications into Extended Automata. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
extended automata, simple specification language, watchdog constructs, state variables, event-driven execution mode, efficient code generation, real-time systems, real-time systems, complexity, formal specification, specification languages, timed automata, program compilers, symbolic model-checking, automata theory, communicating sequential processes, communicating processes, timeout, real-time properties, real-time specifications |
21 | Krishna P. Mikkilineni, Yuan-Chieh Chow, Stanley Y. W. Su |
Petri-Net-Based Modeling and Evaluation of Pipelined Processing of Concurrent Database Queries. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
concurrent database queries, integrated data network, intermediate data sharing, Petri nets, query processing, distributed databases, distributed databases, computer networks, program testing, digital simulation, pipelined processing, pipeline processing, Petri-net model, event-driven programming |
21 | Y. C. Tay, Kyle Jamieson, Hari Balakrishnan |
Collision-minimizing CSMA and its applications to wireless sensor networks. |
IEEE J. Sel. Areas Commun. |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Pau Martí, Manel Velasco, Enrico Bini |
The Optimal Boundary and Regulator Design Problem for Event-Driven Controllers. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Pierre Ganty, Rupak Majumdar |
Analyzing Real-Time Event-Driven Programs. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Sangho Yi, Hong Min, Yookun Cho, Injoo Jeong, Yeongkwun Kim |
PreeMe: preemptive real-time task management for event-driven sensor operating systems. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
wireless sensor networks, operating system |
21 | Moslem Noori, Masoud Ardakani |
A Probability Model for Lifetime of Event-Driven Wireless Sensor Networks. |
SECON |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Qitu Hu, Xiao Deng, Xiaoling Zhang |
Simulation on Random Motion of Numerous Spheres with Collision-Event-Driven Approach. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Jan Ploski, Wilhelm Hasselbring |
Exception Handling in an Event-Driven System. |
ARES |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Alexey Kupriyanov, Dmitrij Kissler, Frank Hannig, Jürgen Teich |
Efficient event-driven simulation of parallel processor architectures. |
SCOPES |
2007 |
DBLP DOI BibTeX RDF |
embedded tools, simulation, modeling, processor arrays |
Displaying result #101 - #200 of 2982 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|