Zoekresultaten - functions conditional programming session based tool*

Alternatieven:
conditional programming » additional programming , functional programming , nutritional programming
functions conditional » functions functional , functional conditioning , functions computational
programming session » programming series , programming service , programs session
session based » decision based , vision based , fusion based

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... Verification of ToolBus Scripts -- A Formal Analysis of Complex Type Flaw Attacks on Security Protocols...”
Volledige tekst

Elektronisch E-boek

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... -- Constraint-Based Approach for Analysis of Hybrid Systems -- Session 5: Tools – Dynamic Verification...”
Volledige tekst

Elektronisch E-boek

Sustainable Internet Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007, Proceedings /

Gepubliceerd in 2007

Inhoudsopgave: “... with Header Compression for IP Based Satellite Communication over DVB-S -- Analysis of FEC Function for Real...”
Volledige tekst

Elektronisch E-boek

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Gepubliceerd in 2007

Inhoudsopgave: “... -- Session V: Tool Environment -- CADP 2006: A Toolbox for the Construction and Analysis of Distributed...”
Volledige tekst

Elektronisch E-boek

Graph Transformations 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... Specifications -- Saturated LTSs for Adhesive Rewriting Systems -- A Hoare Calculus for Graph Programs -- Session...”
Volledige tekst

Elektronisch E-boek

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “...-Speed TCP -- Advanced Software On-Demand Based on Functional Streaming -- Can Out-of-Order Instruction...”
Volledige tekst

Elektronisch E-boek

Advances in Multimedia Information Processing - PCM 2005 6th Pacific Rim Conference on Multimedia, Jeju Island, Korea, November 11-13, 2005, Proceedings, Part II /

Gepubliceerd in 2005

Inhoudsopgave: “... Fading Channels -- Downlink Packet Scheduling Based on Channel Condition for Multimedia Services...”
Volledige tekst

Elektronisch E-boek

Advances in Intelligent Data Analysis VI 6th International Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September 8-10, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... and Data Discovery Tools -- A Knowledge-Based Model for Analyzing GSM Network Performance -- Sentiment...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken