Sciweavers

2111 search results - page 79 / 423
» How to Program Pervasive Systems
Sort
View
ICSE
2001
IEEE-ACM
15 years 5 months ago
Supporting Program Comprehension Using Semantic and Structural Information
The paper focuses on investigating the combined use of semantic and structural information of programs to support the comprehension tasks involved in the maintenance and reenginee...
Jonathan I. Maletic, Andrian Marcus
198
Voted
POPL
2006
ACM
16 years 27 days ago
Certified assembly programming with embedded code pointers
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
Zhaozhong Ni, Zhong Shao
113
Voted
ICLP
2005
Springer
15 years 6 months ago
Modeling Systems in CLP
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
61
Voted
FECS
2007
73views Education» more  FECS 2007»
15 years 2 months ago
Assessment and its Role in Accreditation
In this paper, we describe assessment processes at three computer science programs accredited by the Computing Accreditation Commission (CAC) of ABET. Assessment is a vital compon...
Frances K. Bailie, Deborah Whitfield, Adel M. Abun...
90
Voted
ERLANG
2007
ACM
15 years 4 months ago
Optimising TCP/IP connectivity
With the increased use of network enabled applications and server hosted software systems, scalability with respect to network connectivity is becoming an increasingly important s...
Oscar Hellström