Export 21 results:
Sort by: Filters: Author is G. Kulczycki [Clear All Filters]
"Performance Analysis of Spillover-Partitioning Call Admission Control in Mobile Wireless Networks",
Wireless Personal Communications, vol. 53, no. 1, pp. 111-131, 2010.
"Formal Foundations of Reuse and Domain Engineering",
11th International Conference on Software Reuse, Falls Church, VA,, Lecture Notes in Computer Science 5791 Springer 2009, 09/2009.
"A Reusable Model for Data-Centric Web Services",
11th International Conference on Software Reuse, Falls Church, VA, pp. pp. 288–297, 09/2009.
"Demystifying Data-Centric Web Services",
IEEE Internet Computing, IEEE Computer Society, pp. pp. 86–90, 08/2009.
"An Empirical Comparison of Methods for Reengineering Procedural Software Systems to Object-Oriented Systems",
10th International Conference on Software Reuse, Beijing, China, May 2008.
"Spillover-Partitioning Call Admission Control for Revenue Optimization with QoS Guarantees for Multiple Service Classes in Mobile Wireless Networks",
3rd IEEE International Workshop on Performance Analysis and Enhancement of Wireless Networks, Ginowan, Okinawa, Japan, March 2008.
"Proving Correctness for Pointer Programs in a Verifying Compiler",
The Sixth NASA Langley Formal Methods Workshop, Newport News, VA, April 2008.
" An Empirical Comparison of Methods for Reengineering Procedural Software Systems to Object-Oriented Systems",
10 International Conference on Software Reuse: H. Mei. Beijing, 2008.
"Abstracting Pointers for a Verifying Compiler",
Proceedings 31st Annual Software Engineering Workshop, Baltimore, MD, March 2007.
"Accessibility Preserving Operations for Pointers",
2007 Resolve Workshop, Clemson, SC, June 2007.
"Simplifying Reasoning about Objects with Tako",
Proceedings Specification and Verification of Component-Based Systems (FSE014 SAVCBS '06) Workshop, Portland, OR, November 2006.
"Walking the Line between Java and Resolve: Tako and the Verification Grand Challenge",
Resolve 2006 Proceedings, Blacksburg, VA, March 2006.
"Case Study of a Method for Reengineering Procedural Systems into OO Systems ",
Proceedings 9th International Conference on Software Reuse (ICSR '06), Torino, Italy, June 2006.
"Case Study of a Method for Reengineering Procedural Systems into OO Systems",
Proc. 9th Int'l Conference on Software Reuse (ICSR'06), June, 2006.
"A Specification-Based Approach to Reasoning about Pointers",
Proceedings Specification and Verification of Component-Based Systems (ESEC/FSE SAVCBS '05) Workshop, vol. 31, issue 2, Lisbon, Portugal, September 2005.
"Capturing the Reference Behavior of Linked Data Structures",
Proceedings RESOLVE 2002 Workshop, Columbus, OH, June 2002.
"Efficient Reusable Components with Value Semantics",
Proceedings of the ICSR2002 Young Researcher's Workshop, Austin, TX, April 2002.
"Type Handling in a Fully Integrated Programming and Specification Language",
Proceedings of the SAVCBS Workshop at OOPSLA 2001, Tampa, FL, October 2001.
"Performance Specification of Reusable Software Components",
Proceedings ACM SIGSOFT Symposium on Software Reusability, Toronto, Canada, ACM Press, pp. 3-10, May 2001.
"A System for Predictable Component-Based Software Construction",
Volume on High Integrity Software, May 2001.
"Reasoning About Software Component Behavior",
Proceedings of the Sixth International Conference on Software Reuse, Vienna, IEEE Computer Society Press, pp. 266-283, June 2000.