Carl J Arbes

Array ( [id] => 7013866 [patent_doc_number] => 20050066319 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2005-03-24 [patent_title] => 'Persisted specifications of method pre-and post-conditions for static checking' [patent_app_type] => utility [patent_app_number] => 10/667542 [patent_app_country] => US [patent_app_date] => 2003-09-22 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 21 [patent_figures_cnt] => 21 [patent_no_of_words] => 12886 [patent_no_of_claims] => 25 [patent_no_of_ind_claims] => 8 [patent_words_short_claim] => 0 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0066/20050066319.pdf [firstpage_image] =>[orig_patent_app_number] => 10667542 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 298080 [patent_doc_number] => 07543280 [patent_country] => US [patent_kind] => B2 [patent_issue_date] => 2009-06-02 [patent_title] => 'Converting and executing applications' [patent_app_type] => utility [patent_app_number] => 10/658593 [patent_app_country] => US [patent_app_date] => 2003-09-08 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 12 [patent_figures_cnt] => 12 [patent_no_of_words] => 4513 [patent_no_of_claims] => 14 [patent_no_of_ind_claims] => 4 [patent_words_short_claim] => 352 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => patent [pdf_file] => patents/07/543/07543280.pdf [firstpage_image] =>[orig_patent_app_number] => 10658593 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 7256262 [patent_doc_number] => 20050273758 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2005-12-08 [patent_title] => 'System and method for building a component base architecture' [patent_app_type] => utility [patent_app_number] => 10/523674 [patent_app_country] => US [patent_app_date] => 2003-09-04 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 25 [patent_figures_cnt] => 25 [patent_no_of_words] => 10377 [patent_no_of_claims] => 34 [patent_no_of_ind_claims] => 4 [patent_words_short_claim] => 0 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0273/20050273758.pdf [firstpage_image] =>[orig_patent_app_number] => 10523674 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 7123916 [patent_doc_number] => 20050015745 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2005-01-20 [patent_title] => 'Method and system for designing customizable applications and user-interfaces based on user-defined policies and metadata' [patent_app_type] => utility [patent_app_number] => 10/619128 [patent_app_country] => US [patent_app_date] => 2003-07-14 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 7 [patent_figures_cnt] => 7 [patent_no_of_words] => 5431 [patent_no_of_claims] => 38 [patent_no_of_ind_claims] => 5 [patent_words_short_claim] => 0 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0015/20050015745.pdf [firstpage_image] =>[orig_patent_app_number] => 10619128 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 340656 [patent_doc_number] => 07506305 [patent_country] => US [patent_kind] => B2 [patent_issue_date] => 2009-03-17 [patent_title] => 'Dynamic contextual helper user interface' [patent_app_type] => utility [patent_app_number] => 10/618919 [patent_app_country] => US [patent_app_date] => 2003-07-14 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 6 [patent_figures_cnt] => 9 [patent_no_of_words] => 2884 [patent_no_of_claims] => 20 [patent_no_of_ind_claims] => 11 [patent_words_short_claim] => 18 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => patent [pdf_file] => patents/07/506/07506305.pdf [firstpage_image] =>[orig_patent_app_number] => 10618919 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 801783 [patent_doc_number] => 07426716 [patent_country] => US [patent_kind] => B2 [patent_issue_date] => 2008-09-16 [patent_title] => 'Recovery and representation of object interaction in an object oriented program' [patent_app_type] => utility [patent_app_number] => 10/617592 [patent_app_country] => US [patent_app_date] => 2003-07-11 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 3 [patent_figures_cnt] => 4 [patent_no_of_words] => 4782 [patent_no_of_claims] => 27 [patent_no_of_ind_claims] => 3 [patent_words_short_claim] => 250 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => patent [pdf_file] => patents/07/426/07426716.pdf [firstpage_image] =>[orig_patent_app_number] => 10617592 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 7451441 [patent_doc_number] => 20040268314 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2004-12-30 [patent_title] => 'System and method for automatically collecting trace detail and history data' [patent_app_type] => new [patent_app_number] => 10/615323 [patent_app_country] => US [patent_app_date] => 2003-07-07 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 11 [patent_figures_cnt] => 11 [patent_no_of_words] => 7001 [patent_no_of_claims] => 32 [patent_no_of_ind_claims] => 5 [patent_words_short_claim] => 56 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0268/20040268314.pdf [firstpage_image] =>[orig_patent_app_number] => 10615323 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 7063612 [patent_doc_number] => 20050005260 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2005-01-06 [patent_title] => 'Identifier implementation mapping and methods of using namespaces' [patent_app_type] => utility [patent_app_number] => 10/611051 [patent_app_country] => US [patent_app_date] => 2003-07-02 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 4 [patent_figures_cnt] => 4 [patent_no_of_words] => 7599 [patent_no_of_claims] => 74 [patent_no_of_ind_claims] => 7 [patent_words_short_claim] => 0 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0005/20050005260.pdf [firstpage_image] =>[orig_patent_app_number] => 10611051 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 7242352 [patent_doc_number] => 20050257200 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2005-11-17 [patent_title] => 'Generating code for a configurable microprocessor' [patent_app_type] => utility [patent_app_number] => 10/518556 [patent_app_country] => US [patent_app_date] => 2003-06-30 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 15 [patent_figures_cnt] => 15 [patent_no_of_words] => 12956 [patent_no_of_claims] => 27 [patent_no_of_ind_claims] => 1 [patent_words_short_claim] => 0 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0257/20050257200.pdf [firstpage_image] =>[orig_patent_app_number] => 10518556 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 7271284 [patent_doc_number] => 20040059802 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2004-03-25 [patent_title] => 'Modeling states and/or transitions in a computer system' [patent_app_type] => new [patent_app_number] => 10/606063 [patent_app_country] => US [patent_app_date] => 2003-06-24 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 28 [patent_figures_cnt] => 28 [patent_no_of_words] => 31907 [patent_no_of_claims] => 39 [patent_no_of_ind_claims] => 3 [patent_words_short_claim] => 84 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0059/20040059802.pdf [firstpage_image] =>[orig_patent_app_number] => 10606063 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 379224 [patent_doc_number] => 07313790 [patent_country] => US [patent_kind] => B2 [patent_issue_date] => 2007-12-25 [patent_title] => 'Methods and apparatus for preserving precise exceptions in code reordering by using control speculation' [patent_app_type] => utility [patent_app_number] => 10/601439 [patent_app_country] => US [patent_app_date] => 2003-06-23 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 10 [patent_figures_cnt] => 10 [patent_no_of_words] => 4195 [patent_no_of_claims] => 10 [patent_no_of_ind_claims] => 4 [patent_words_short_claim] => 110 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => patent [pdf_file] => patents/07/313/07313790.pdf [firstpage_image] =>[orig_patent_app_number] => 10601439 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 7262930 [patent_doc_number] => 20040261073 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2004-12-23 [patent_title] => 'Apparatus and method for performing a fail-safe over-the-air software update in a mobile station' [patent_app_type] => new [patent_app_number] => 10/600056 [patent_app_country] => US [patent_app_date] => 2003-06-20 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 6 [patent_figures_cnt] => 6 [patent_no_of_words] => 5651 [patent_no_of_claims] => 30 [patent_no_of_ind_claims] => 4 [patent_words_short_claim] => 151 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0261/20040261073.pdf [firstpage_image] =>[orig_patent_app_number] => 10600056 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 922322 [patent_doc_number] => 07325226 [patent_country] => US [patent_kind] => B2 [patent_issue_date] => 2008-01-29 [patent_title] => 'Modular object serialization architecture' [patent_app_type] => utility [patent_app_number] => 10/600256 [patent_app_country] => US [patent_app_date] => 2003-06-19 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 4 [patent_figures_cnt] => 4 [patent_no_of_words] => 5374 [patent_no_of_claims] => 40 [patent_no_of_ind_claims] => 5 [patent_words_short_claim] => 336 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => patent [pdf_file] => patents/07/325/07325226.pdf [firstpage_image] =>[orig_patent_app_number] => 10600256 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 900411 [patent_doc_number] => 07343589 [patent_country] => US [patent_kind] => B2 [patent_issue_date] => 2008-03-11 [patent_title] => 'Declarative state space reduction in a transactional messaging language' [patent_app_type] => utility [patent_app_number] => 10/463940 [patent_app_country] => US [patent_app_date] => 2003-06-18 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 7 [patent_figures_cnt] => 7 [patent_no_of_words] => 12726 [patent_no_of_claims] => 49 [patent_no_of_ind_claims] => 3 [patent_words_short_claim] => 215 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => patent [pdf_file] => patents/07/343/07343589.pdf [firstpage_image] =>[orig_patent_app_number] => 10463940 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 7450171 [patent_doc_number] => 20040268213 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2004-12-30 [patent_title] => 'Classifying software and reformulating resources according to classifications' [patent_app_type] => new [patent_app_number] => 10/463634 [patent_app_country] => US [patent_app_date] => 2003-06-16 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 24 [patent_figures_cnt] => 24 [patent_no_of_words] => 14535 [patent_no_of_claims] => 22 [patent_no_of_ind_claims] => 5 [patent_words_short_claim] => 19 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0268/20040268213.pdf [firstpage_image] =>[orig_patent_app_number] => 10463634 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 4541014 [patent_doc_number] => 07954086 [patent_country] => US [patent_kind] => B2 [patent_issue_date] => 2011-05-31 [patent_title] => 'Self-describing kernel modules' [patent_app_type] => utility [patent_app_number] => 10/440144 [patent_app_country] => US [patent_app_date] => 2003-05-19 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 4 [patent_figures_cnt] => 4 [patent_no_of_words] => 3059 [patent_no_of_claims] => 25 [patent_no_of_ind_claims] => 4 [patent_words_short_claim] => 143 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => patent [pdf_file] => patents/07/954/07954086.pdf [firstpage_image] =>[orig_patent_app_number] => 10440144 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 4578292 [patent_doc_number] => 07823133 [patent_country] => US [patent_kind] => B2 [patent_issue_date] => 2010-10-26 [patent_title] => 'Smart card device and method for debug and software development' [patent_app_type] => utility [patent_app_number] => 10/421044 [patent_app_country] => US [patent_app_date] => 2003-04-23 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 4 [patent_figures_cnt] => 5 [patent_no_of_words] => 4785 [patent_no_of_claims] => 46 [patent_no_of_ind_claims] => 4 [patent_words_short_claim] => 229 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => patent [pdf_file] => patents/07/823/07823133.pdf [firstpage_image] =>[orig_patent_app_number] => 10421044 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 7235156 [patent_doc_number] => 20040073870 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2004-04-15 [patent_title] => 'Annotated automaton encoding of XML schema for high performance schema validation' [patent_app_type] => new [patent_app_number] => 10/418658 [patent_app_country] => US [patent_app_date] => 2003-04-16 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 17 [patent_figures_cnt] => 17 [patent_no_of_words] => 8757 [patent_no_of_claims] => 37 [patent_no_of_ind_claims] => 3 [patent_words_short_claim] => 81 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0073/20040073870.pdf [firstpage_image] =>[orig_patent_app_number] => 10418658 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 7113205 [patent_doc_number] => 20050210458 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2005-09-22 [patent_title] => 'Communication terminal software updating method, communication terminal, and software updating method' [patent_app_type] => utility [patent_app_number] => 10/509734 [patent_app_country] => US [patent_app_date] => 2003-04-01 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 5 [patent_figures_cnt] => 5 [patent_no_of_words] => 8226 [patent_no_of_claims] => 12 [patent_no_of_ind_claims] => 3 [patent_words_short_claim] => 0 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0210/20050210458.pdf [firstpage_image] =>[orig_patent_app_number] => 10509734 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 7354133 [patent_doc_number] => 20040194022 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2004-09-30 [patent_title] => 'Kernel configuration tool' [patent_app_type] => new [patent_app_number] => 10/402336 [patent_app_country] => US [patent_app_date] => 2003-03-28 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 21 [patent_figures_cnt] => 21 [patent_no_of_words] => 5584 [patent_no_of_claims] => 24 [patent_no_of_ind_claims] => 8 [patent_words_short_claim] => 67 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0194/20040194022.pdf [firstpage_image] =>[orig_patent_app_number] => 10402336 [rel_patent_id] =>[rel_patent_doc_number] =>)