CS Structure

About CS Structure | Search | Help  

 

Search Result

Search result :

Title:

Author:

Douglas C Schmidt

Year:

-

Key:

         

  • distributed system; shared memory; operating system; real-time system (167799) (330)
  •         model checking; petri nets; hybrid system; timed automata (32864) (315)
  •                 software architecture; design pattern; distributed object; real-time corba (11051) (313)
  •                         distributed object; design pattern; real-time corba; corba object (5735) (239)
  •                         embedded corba; corba bus; real-time corba; service large-scale (232) (62)
  •                         aspect-oriented programming; use map; product lines; separation concerns (3183) (12)
  •                 hybrid system; model checking; timed automata; temporal logic (13536) (2)
  •                         requirements engineering; requirements specification; non-functional requirements; software requirements (3119) (2)
  •         atm network; congestion control; quality service; admission control (22524) (9)
  •                 congestion control; differentiated service; reliable multicast; atm network (12723) (5)
  •                         congestion control; differentiated service; flow control; queue management (7585) (4)
  •                         network traffic; internet traffic; fault injection; wide-area tcp (2018) (1)
  •                 tamu security; intruders academic; package ongoing; response internet (680) (4)
  •                         tamu security; intruders academic; package ongoing; response internet (680) (4)
  •         linear logic; garbage collection; mobile agent; term rewriting (32549) (4)
  •                 linear logic; proof planning; type theory; proof nets (9635) (2)
  •                         term rewriting; reverse engineering; process algebra; asf+sdf meta-environment (3823) (2)
  •                 mobile agent; information flow; mobile process; secure information (5216) (1)
  •                         mobile agent; software agent; agent system; agent tcl (2784) (1)
  •                 rewriting logic; functional logic; chu space; explicit substitution (4198) (1)
  •                         rewriting logic; stable homotopy; reduction system; expression reduction (2826) (1)
  •         signature scheme; group communication; cryptographic protocol; security protocol (25536) (1)
  •                 group communication; failure detector; group membership; atomic broadcast (3483) (1)
  •                         global predicates; detection global; predicates distributed; distributed computation (1329) (1)
  •         active network; programmable network; active networking; trust management (1341) (1)
  •                 active network; programmable network; active networking; trust management (1341) (1)
  •                         active network; programmable network; active networking; trust management (1341) (1)
  • neural network; genetic algorithm; finite element; mobile robot (222930) (7)
  •         logic program; description logic; object-oriented database; deductive database (27455) (3)
  •                 data cube; data warehouses; multidimensional database; analytical processing (1530) (2)
  •                         data cube; data warehouses; multidimensional database; analytical processing (1530) (2)
  •                 active database; view maintenance; database rule; data warehousing (2034) (1)
  •                         active database; composite event; active object-oriented; event active (795) (1)
  •         finite element; element method; differential equation; domain decomposition (86056) (2)
  •                 light field; ray tracing; facility location; implicit surface (10124) (1)
  •                         computational steering; solving environment; mimetic finite; mimetic discretization (1370) (1)
  •                 markov chain; queueing network; chain monte; ising model (5615) (1)
  •                         markov chain; chain monte; perfect simulation; perfect sampling (3300) (1)
  •         neural network; genetic algorithm; genetic programming; support vector (71500) (1)
  •                 constraint satisfaction; soft constraint; algorithm animation; constraint programming (4124) (1)
  •                         algorithm animation; concurrent constraint; user interface; constraint programming (2671) (1)
  •         real-time database; workflow management; concurrency control; data broadcast (3796) (1)
  •                 real-time database; workflow management; concurrency control; data broadcast (3796) (1)
  •                         workflow management; workflow system; transactional workflow; transaction model (1859) (1)