Sciweavers

10055 search results - page 440 / 2011
» Structured programming using processes
Sort
View
CARDIS
2008
Springer
119views Hardware» more  CARDIS 2008»
15 years 8 months ago
Static Program Analysis for Java Card Applets
The Java Card API provides a framework of classes and interfaces that hides the details of the underlying smart card interface, thus relieving developers from going through the swa...
Vasilios Almaliotis, Alexandros Loizidis, Panagiot...
194
Voted
ACTA
2010
191views more  ACTA 2010»
15 years 7 months ago
Automata-based verification of programs with tree updates
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
Peter Habermehl, Radu Iosif, Tomás Vojnar
INFSOF
1998
78views more  INFSOF 1998»
15 years 6 months ago
Program slices as an abstraction for cohesion measurement
Slices as an Abstraction for Cohesion Measurement Linda M. Ott Michigan Technological University James M. Bieman Colorado State University The basis for measuring many attributes ...
Linda M. Ott, James M. Bieman
ICCS
2005
Springer
16 years 10 days ago
A Computational Model of Micro-vascular Growth
In order to supply a growing tissue with oxygen and nutrients and to remove its metabolic wastes, blood vessels penetrating the tissue are formed. Multiple mechanisms are involved ...
Dominik Szczerba, Gábor Székely
ELPUB
2003
ACM
16 years 2 days ago
The Omnipaper Metadata RDF/XML Prototype Implementation
Omnipaper (Smart Access to European Newspapers, IST-2001-32174) is a project from the European Commission IST program (Information Society Technologies) that investigates and prop...
Teresa Susana Mendes Pereira, Ana Alice Baptista